Update to JGit 4.0.1

James Moger

2015-06-28 a909bf1333d9e9bcdc5e87a17642211e6fa8f036

 src/main/java/com/gitblit/models/PluginRegistry.java

@@ -126,7 +126,7 @@
         Version ir = Version.createVersion(installedRelease);

         Version cr = Version.ZERO;

         PluginRelease curr = getCurrentRelease(system);

         if (cr != null) {

         if (curr != null) {

            cr = Version.createVersion(curr.version);

         }

         switch (ir.compareTo(cr)) {