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

Gaetan Boismal
06.44.2015 7acfd0590232035879e2a08dfc5b35c37017bb68
opendj-server-legacy/src/main/java/org/opends/server/util/Platform.java
@@ -67,6 +67,9 @@
  private static final PlatformIMPL IMPL;
  /** The minimum java supported version. */
  public static final String JAVA_MINIMUM_VERSION_NUMBER = "7.0";
  static
  {
    String vendor = System.getProperty("java.vendor");