Merge "Bump JGit version to 3.2.0.201312181205-r"