Merge "Update JGit to 1.3.0.201202151440-r.190-g65f6e06"