JGit for only one file