Update JGit to 2.3.1.201302201838-r.78-g8fcde4b

This version of JGit contains bug-fixes and API improvements for the
garbage collection.

Change-Id: Iaf0bc17f4290c0a7dc2960ad18f757c7e07e1040
Signed-off-by: Edwin Kempin <edwin.kempin@sap.com>
2 files changed