Merge branch 'master' into update-jdk-12

maximthomas

12.57.2025 67ec87eb408ac99daf73234bc6590669a38bf11b

 opendj-server-legacy/src/main/java/org/opends/server/util/Platform.java

@@ -63,7 +63,7 @@
  private static final PlatformIMPL IMPL;

  /** The minimum java supported version. */
  public static final String JAVA_MINIMUM_VERSION_NUMBER = "7.0";
  public static final String JAVA_MINIMUM_VERSION_NUMBER = "8";

  static
  {