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

Nicolas Capponi
05.29.2013 e09805c46fdae2654b3564a240097e60e4f9f5f2
opendj-admin/src/main/java/org/opends/server/admin/server/ServerManagementContext.java
@@ -72,6 +72,7 @@
import org.opends.server.admin.UndefinedDefaultBehaviorProvider;
import org.opends.server.admin.UnknownPropertyDefinitionException;
import org.opends.server.admin.DefinitionDecodingException.Reason;
import org.opends.server.config.ConfigEntry;
import org.opends.server.config.ConfigException;
import org.opends.server.core.DirectoryServer;
import org.forgerock.opendj.admin.meta.RootCfgDefn;