Checkpoint commit for OPENDJ-1308 Migrate schema support

Nicolas Capponi

07.01.2014 d6f8655b4003ea42ab15c4248d15f0a8e798d449

 opendj3-server-dev/src/server/org/opends/server/tools/VerifyIndex.java

@@ -304,7 +304,7 @@
      // Initialize the Directory Server core configuration.
      try
      {
        CoreConfigManager coreConfigManager = new CoreConfigManager();
        CoreConfigManager coreConfigManager = new CoreConfigManager(directoryServer.getServerContext());
        coreConfigManager.initializeCoreConfig();
      }
      catch (ConfigException ce)