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

jvergara
20.10.2010 aaff1334a63cbaddfa4e428bad270d710c1bfae9
opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java
@@ -973,7 +973,7 @@
    }
    if (!fileProperties.containsKey("overwrite-env-java-args"))
    {
      otherProperties.put("overwrite-env-java-home", "false");
      otherProperties.put("overwrite-env-java-args", "false");
    }
    if (!fileProperties.containsKey("default.java-home"))
    {