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

Violette Roche-Montane
21.02.2014 4360813f55b5493cbf814f3675947398c9ed9eb9
opendj3-server-dev/src/server/org/opends/server/tools/dsconfig/PropertyEditorModification.java
@@ -30,7 +30,7 @@
import java.util.SortedSet;
import java.util.TreeSet;
import org.opends.server.admin.PropertyDefinition;
import org.forgerock.opendj.config.PropertyDefinition;
/**
 * This class is a data structure that can be used as an interface between