Update JGit to 2.3.1.201302201838-r.175-g1b4320f

Change-Id: I66809bf891efa54c334854abe9081d7c638d5462
diff --git a/pom.xml b/pom.xml
index eec581f..c5fe669 100644
--- a/pom.xml
+++ b/pom.xml
@@ -46,7 +46,7 @@
   </issueManagement>
 
   <properties>
-    <jgitVersion>2.3.1.201302201838-r.78-g8fcde4b</jgitVersion>
+    <jgitVersion>2.3.1.201302201838-r.175-g1b4320f</jgitVersion>
     <gwtormVersion>1.6</gwtormVersion>
     <gwtjsonrpcVersion>1.3</gwtjsonrpcVersion>
     <gwtexpuiVersion>1.3.2</gwtexpuiVersion>