Merged #205 "Update to JGit 3.5.1"

James Moger

2014-10-14 e10ac6e91b1062c74b800df4aa3f8fbcf7e18243

 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)) {