Merge "Update JGit to 2.3.1.201302201838-r.211-g36144e1"