Update to JGit 3.1.0

James Moger

2013-10-16 bd578c3df83e9e190f4e747dd63097defd4a7ba6

 src/main/java/com/gitblit/client/GitblitWorker.java

@@ -50,6 +50,7 @@
      return doRequest();

   }



   @Override

   protected void done() {

      parent.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));

      try {