Update JGit to 1.3.0.201202151440-r

Lots of fixes have been integrated in JGit since the
previous version (1.1.0.201109151100-r.141-gcd958ba)
and we are due for another version bump.

I am perticulary interested in this one:

  https://git.eclipse.org/r/#/c/4757/

This change solves the issue where Gerrit would just
throw a "Change not found" error for certain conflicting
merges (RuntimeException) instead of displaying the
change screen.

Change-Id: Ie984bc2ccd371cf82e2ec640d0680f243b4ba9c1
1 file changed