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

neil_a_wilson
14.50.2006 0b925e1446910f63db6589a469c0cf9d3482bc0f
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;