Merge "Update to JGit 0.8.4.240-g8e9cc82"