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

Jean-Noel Rouvignac
17.27.2015 09231099ef1a49460ef0d04f89e02a43412c7ca6
opendj-server-legacy/src/main/java/org/opends/server/admin/EnumPropertyDefinition.java
@@ -237,7 +237,7 @@
    ManagedObjectDefinitionI18NResource resource =
      ManagedObjectDefinitionI18NResource.getInstance();
    String property = "property." + getName()
        + ".syntax.enumeration.value." + value.toString()
        + ".syntax.enumeration.value." + value
        + ".synopsis";
    try {
      return resource.getMessage(getManagedObjectDefinition(),