[JGit] Fix build.