Upgrade to JDK 20 final once Temurin is available

[SethTisue]

available now from Oracle, not yet from everyone else

[SethTisue]

binaries are now available at https://github.com/adoptium/temurin20-binaries/releases

[SethTisue]

behemoths

• behemoth 1
• behemoth 2
• behemoth 3

steps

• ssh admin@jenkins-worker-behemoth-<n>
• cd /usr/lib/jvm
• sudo rm java-20-openjdk-x64
• sudo rm -rf OpenJDK20U-jdk_x64_linux_hotspot_2023-03-03-19-46
• sudo curl -O -L 'https://github.com/adoptium/temurin20-binaries/releases/download/jdk-20%2B36/OpenJDK20U-jdk_x64_linux_hotspot_20_36.tar.gz'
• sudo dtrx -n OpenJDK20U-jdk_x64_linux_hotspot_20_36.tar.gz
• sudo rm OpenJDK20U-jdk_x64_linux_hotspot_20_36.tar.gz
• sudo chmod -R go+rX OpenJDK20U-jdk_x64_linux_hotspot_20_36
• sudo ln -s OpenJDK20U-jdk_x64_linux_hotspot_20_36/jdk-20+36 java-20-openjdk-x64
• ./java-20-openjdk-x64/bin/java -version

result

openjdk version "20" 2023-03-21
OpenJDK Runtime Environment Temurin-20+36 (build 20+36)
OpenJDK 64-Bit Server VM Temurin-20+36 (build 20+36, mixed mode, sharing)

trigger builds

• https://scala-ci.typesafe.com/view/scala-2.12.x/job/scala-2.12.x-jdk20-integrate-community-build/
• https://scala-ci.typesafe.com/view/scala-2.13.x/job/scala-2.13.x-jdk20-integrate-community-build/

the console log should show the new version near the top