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

Jean-Noel Rouvignac
14.07.2015 e690a8c8f26e834682dd4f65fd96e1dc7bfc3b05
opendj3-server-dev/src/server/org/opends/server/tools/VerifyIndex.java
@@ -42,7 +42,7 @@
import org.forgerock.opendj.config.server.ConfigException;
import org.opends.server.admin.std.server.BackendCfg;
import org.opends.server.api.Backend;
import org.opends.server.backends.pluggable.VerifyConfig;
import org.opends.server.backends.VerifyConfig;
import org.opends.server.core.CoreConfigManager;
import org.opends.server.core.DirectoryServer;
import org.opends.server.core.LockFileManager;