mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

neil_a_wilson
14.50.2006 55d393312460ce9ff84895cabb2ffaa60a035343
opendj-sdk/opends/src/server/org/opends/server/tools/VerifyIndex.java
@@ -33,12 +33,12 @@
import org.opends.server.backends.jeb.VerifyConfig;
import org.opends.server.config.ConfigEntry;
import org.opends.server.config.ConfigException;
import org.opends.server.config.ConfigFileHandler;
import org.opends.server.config.DNConfigAttribute;
import org.opends.server.config.StringConfigAttribute;
import org.opends.server.core.CoreConfigManager;
import org.opends.server.core.DirectoryServer;
import org.opends.server.core.LockFileManager;
import org.opends.server.extensions.ConfigFileHandler;
import org.opends.server.loggers.StartupErrorLogger;
import org.opends.server.types.DirectoryException;
import org.opends.server.types.DN;