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

Jean-Noel Rouvignac
18.00.2015 94e9037522922b67e8af412b4cfe476f5e991118
opendj-server-legacy/src/main/java/org/opends/server/tools/JavaPropertiesTool.java
@@ -115,11 +115,11 @@
    }
  }
  final private static String DEFAULT_JAVA_HOME_PROP_NAME = "default.java-home";
  final private static String DEFAULT_JAVA_ARGS_PROP_NAME = "default.java-args";
  final private static String OVERWRITE_ENV_JAVA_HOME_PROP_NAME =
  private static final String DEFAULT_JAVA_HOME_PROP_NAME = "default.java-home";
  private static final String DEFAULT_JAVA_ARGS_PROP_NAME = "default.java-args";
  private static final String OVERWRITE_ENV_JAVA_HOME_PROP_NAME =
    "overwrite-env-java-home";
  final private static String OVERWRITE_ENV_JAVA_ARGS_PROP_NAME =
  private static final String OVERWRITE_ENV_JAVA_ARGS_PROP_NAME =
    "overwrite-env-java-args";
  /**