Update JGit to version v0.4.0.139.ga1a24