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

jvergara
03.25.2008 6184df3d1062cf8b064b448fe21128ac13754bdc
opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java
@@ -716,9 +716,9 @@
    if (!propertiesFileModified)
    {
      writer.newLine();
      writer.write("overwrite-env-java-home=true");
      writer.write("overwrite-env-java-home=false");
      writer.newLine();
      writer.write("overwrite-env-java-args=true");
      writer.write("overwrite-env-java-args=false");
      writer.newLine();
      writer.newLine();
      writer.write("default.java-home="+javaHome);