Update JGit to 2.3.1.201302201838-r.208-g75e1bdb

Change-Id: I58e21197a806cf8da2b52fc1d51dbdc146e22721
2 files changed