Update JGit to 0.7.1

This is the first official release of JGit through the Eclipse
project.  It also contains a deadlock fix related to replication
over SSH.

Change-Id: I4b157b200d188143b3e33d7c81c8457ed54872f1
Signed-off-by: Shawn O. Pearce <sop@google.com>
1 file changed