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

Jean-Noel Rouvignac
31.49.2014 a1f030edc5d19b575470f0d79033d9f7471ab172
opendj3-server-dev/src/guitools/org/opends/guitools/controlpanel/ui/JavaPropertiesPanel.java
@@ -786,8 +786,7 @@
        File javaFile = getJavaFile(file);
        if (!javaFile.exists())
        {
          javaHomeErrors.add(ERR_CTRL_PANEL_JAVA_BINARY_NOT_FOUND.get(
              javaFile.toString()));
          javaHomeErrors.add(ERR_CTRL_PANEL_JAVA_BINARY_NOT_FOUND.get(javaFile));
        }
      }
    }
@@ -871,14 +870,14 @@
              {
                confirmationMessage =
                  INFO_CTRL_PANEL_CONFIRM_NOT_WORKING_ARGUMENTS_DETAILS.get(
                    javaFile.toString(),
                    javaFile,
                    Utilities.getStringFromCollection(notWorkingArgs, "<br>-"));
              }
              else
              {
                confirmationMessage =
             INFO_CTRL_PANEL_CONFIRM_NOT_WORKING_FALLBACK_ARGUMENTS_DETAILS.get(
                    javaFile.toString(),
                    javaFile,
                    Utilities.getStringFromCollection(notWorkingArgs, "<br>-"));
              }
              confirmationMessages.add(confirmationMessage);