Merged #198 "Update to JGit 3.5.0.201409260305-r"