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

Violette Roche-Montane
26.15.2014 afa089fedd62a29826d57cc34293ad5e0e6a4efd
opendj3-server-dev/src/server/org/opends/server/tools/JavaPropertiesTool.java
@@ -43,6 +43,7 @@
import static org.opends.messages.ToolMessages.*;
import static org.opends.server.util.ServerConstants.*;
import static com.forgerock.opendj.util.OperatingSystem.isWindows;
/**
 * This class is used to update the scripts that are used to launch the command
@@ -306,7 +307,7 @@
    try
    {
      String value;
      if (Utils.isWindows())
      if (isWindows())
      {
        value = getWindowsContents(overwriteEnvJavaHome, overwriteEnvJavaArgs,
            defaultJavaHome, defaultJavaArgs, properties);