Update jgit to 3.1.0.201310021548-r

Change-Id: Ib1526cd97353933dee1b76de33239cbcb31107b0
diff --git a/lib/maven.defs b/lib/maven.defs
index 7049bfa..d49fed6 100644
--- a/lib/maven.defs
+++ b/lib/maven.defs
@@ -13,6 +13,7 @@
 # limitations under the License.
 
 GERRIT = 'GERRIT:'
+ECLIPSE = 'ECLIPSE:'
 MAVEN_CENTRAL = 'MAVEN_CENTRAL:'
 MAVEN_LOCAL = 'MAVEN_LOCAL:'