Patch Set 5: Looks good to me, but someone else must approve; IP review completed

I changed the coding which used an eclipse 3.5 feature (GitHistoryPage, l.422).

The bug mentioned by Matthias is not related to this change, there even already exists a bugzilla entry (302145).