Update to JGit 3.5.1
Merged #205 "Update to JGit 3.5.1"