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

Jean-Noel Rouvignac
17.23.2015 a2c984366f119a651851cb4aa8f16466d3ae4e96
opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/ui/JavaPropertiesPanel.java
@@ -528,12 +528,10 @@
   */
  private boolean updatedByUser()
  {
    boolean updatedByUser = !javaHome.getText().equals(readJavaHome) ||
    useOpenDSJavaHome.isSelected() != readUseOpenDSJavaHome ||
    useOpenDSJavaArgs.isSelected() != readUseOpenDSJavaArgs ||
    !readJavaArguments.equals(getCurrentJavaArguments());
    return updatedByUser;
    return !javaHome.getText().equals(readJavaHome)
        || useOpenDSJavaHome.isSelected() != readUseOpenDSJavaHome
        || useOpenDSJavaArgs.isSelected() != readUseOpenDSJavaArgs
        || !readJavaArguments.equals(getCurrentJavaArguments());
  }
  /**
@@ -1028,12 +1026,10 @@
   */
  private String getPropertiesFile()
  {
    String installPath = getInfo().getServerDescriptor().
      getInstancePath();
    String propertiesFile =  Utils.getPath(
    String installPath = getInfo().getServerDescriptor().getInstancePath();
    return Utils.getPath(
      Utilities.getInstanceRootDirectory(installPath).getAbsolutePath(),
      Installation.RELATIVE_JAVA_PROPERTIES_FILE);
    return propertiesFile;
  }
  private void updateContentsOfPanelWithReadValues()