Patch Set 14: (1 inline comment)

Please rebase once again. The current state does not work with current JGit. There was an API change in JGit. EGit was adapted to that change in commit f01b3b007c43adc1ac7c9b3c876453a868f85bbe.