make/autoconf/version-numbers

*** 23,43 ****
  # questions.
  #
  
  # Default version numbers to use unless overridden by configure
  
! DEFAULT_VERSION_FEATURE=12
  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_CLASSFILE_MINOR=0
! DEFAULT_ACCEPTABLE_BOOT_VERSIONS="11 12"
  
  LAUNCHER_NAME=openjdk
  PRODUCT_NAME=OpenJDK
  PRODUCT_SUFFIX="Runtime Environment"
  JDK_RC_PLATFORM_NAME=Platform
--- 23,43 ----
  # questions.
  #
  
  # Default version numbers to use unless overridden by configure
  
! 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-09-17
! DEFAULT_VERSION_CLASSFILE_MAJOR=57  # "`$EXPR $DEFAULT_VERSION_FEATURE + 44`"
  DEFAULT_VERSION_CLASSFILE_MINOR=0
! DEFAULT_ACCEPTABLE_BOOT_VERSIONS="11 12 13"
  
  LAUNCHER_NAME=openjdk
  PRODUCT_NAME=OpenJDK
  PRODUCT_SUFFIX="Runtime Environment"
  JDK_RC_PLATFORM_NAME=Platform