--- old/make/autoconf/version-numbers 2018-12-05 13:51:32.447277868 -0800 +++ new/make/autoconf/version-numbers 2018-12-05 13:51:32.259371861 -0800 @@ -25,17 +25,17 @@ # Default version numbers to use unless overridden by configure -DEFAULT_VERSION_FEATURE=12 +DEFAULT_VERSION_FEATURE=13 DEFAULT_VERSION_INTERIM=0 DEFAULT_VERSION_UPDATE=0 DEFAULT_VERSION_PATCH=0 DEFAULT_VERSION_EXTRA1=0 DEFAULT_VERSION_EXTRA2=0 DEFAULT_VERSION_EXTRA3=0 -DEFAULT_VERSION_DATE=2019-03-19 -DEFAULT_VERSION_CLASSFILE_MAJOR=56 # "`$EXPR $DEFAULT_VERSION_FEATURE + 44`" +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" +DEFAULT_ACCEPTABLE_BOOT_VERSIONS="11 12 13" LAUNCHER_NAME=openjdk PRODUCT_NAME=OpenJDK