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

Mark Craig
20.18.2015 27d398c0bcca6adaf643fa3f6fd02ed67ff4adf1
opendj-server-legacy/src/main/java/org/opends/server/tools/JavaPropertiesToolArgumentParser.java
@@ -70,6 +70,7 @@
    super(mainClassName,
        INFO_JAVAPROPERTIES_TOOL_DESCRIPTION.get(getDefaultPropertiesValue()),
        false);
    setShortToolDescription(REF_SHORT_DESC_DSJAVAPROPERTIES.get());
    setVersionHandler(new DirectoryServerVersionHandler());
  }