Merged #126 "Update to JGit 3.4.1"