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

jvergara
18.39.2008 c47b752167c38d9088bc79b66097b5ffd817162b
opends/src/quicksetup/org/opends/quicksetup/util/Utils.java
@@ -1500,8 +1500,11 @@
          i.getVersion().compareToIgnoreCase(version) <= 0;
        if (!versionCompatible)
        {
          String javaBin = System.getProperty("java.home")+File.separator+
          "bin"+File.separator+"java";
          throw new IncompatibleVersionException(
              ERR_INCOMPATIBLE_VERSION.get(i.getVersion(), version), null);
              ERR_INCOMPATIBLE_VERSION.get(i.getVersion(), version, javaBin),
              null);
        }
      }
    }