Merged #45 "Build with Java 7"

James Moger

2014-04-11 fd238c924742d5d472c7b9b11634640c946ab5ae

 src/main/java/com/gitblit/manager/GitblitManager.java

@@ -1250,8 +1250,8 @@
   }

   @Override
   public boolean refreshRegistry() {
      return pluginManager.refreshRegistry();
   public boolean refreshRegistry(boolean verifyChecksum) {
      return pluginManager.refreshRegistry(verifyChecksum);
   }

   @Override