diff -r c02b8d6384ab -r c12b897021ea make/autoconf/version-numbers --- a/make/autoconf/version-numbers Tue Mar 26 15:52:08 2019 +0100 +++ b/make/autoconf/version-numbers Tue Mar 26 09:24:01 2019 -0700 @@ -35,7 +35,7 @@ DEFAULT_VERSION_DATE=2019-09-17 DEFAULT_VERSION_CLASSFILE_MAJOR=57 # "`$EXPR $DEFAULT_VERSION_FEATURE + 44`" DEFAULT_VERSION_CLASSFILE_MINOR=0 -DEFAULT_ACCEPTABLE_BOOT_VERSIONS="11 12 13" +DEFAULT_ACCEPTABLE_BOOT_VERSIONS="12 13" LAUNCHER_NAME=openjdk PRODUCT_NAME=OpenJDK