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

jvergara
12.03.2009 72dbc9257b037e835392f4976661baca85a70570
opendj-sdk/opends/src/guitools/org/opends/guitools/controlpanel/ui/JavaPropertiesPanel.java
@@ -764,7 +764,7 @@
  private String getPropertiesFile()
  {
    String installPath = getInfo().getServerDescriptor().
      getInstallPath().getAbsolutePath();
      getInstancePath().getAbsolutePath();
    String propertiesFile =  Utils.getPath(
      Utilities.getInstanceRootDirectory(installPath).getAbsolutePath(),
      Installation.RELATIVE_JAVA_PROPERTIES_FILE);