Move the JDK 17 build off early-access, onto 17 final

[SethTisue]

sequel to #1432

on all 3 behemoths,

• cd /usr/lib/jvm
• sudo rm java-17-openjdk-x64
• sudo curl -O -L 'https://github.com/adoptium/temurin17-binaries/releases/download/jdk-17%2B35/OpenJDK17-jdk_x64_linux_hotspot_17_35.tar.gz'
• sudo dtrx -n OpenJDK17-jdk_x64_linux_hotspot_17_35.tar.gz
• sudo rm OpenJDK17-jdk_x64_linux_hotspot_17_35.tar.gz
• sudo chmod -R go+rX OpenJDK17-jdk_x64_linux_hotspot_17_35
• sudo ln -s OpenJDK17-jdk_x64_linux_hotspot_17_35/jdk-17+35 java-17-openjdk-x64
• ./java-17-openjdk-x64/bin/java -version

openjdk version "17" 2021-09-14
OpenJDK Runtime Environment Temurin-17+35 (build 17+35)
OpenJDK 64-Bit Server VM Temurin-17+35 (build 17+35, mixed mode, sharing)

[SethTisue]

https://scala-ci.typesafe.com/view/scala-2.12.x/job/scala-2.12.x-jdk17-integrate-community-build/153/

openjdk version "17" 2021-09-14
OpenJDK Runtime Environment Temurin-17+35 (build 17+35)
OpenJDK 64-Bit Server VM Temurin-17+35 (build 17+35, mixed mode, sharing)

👍

[SethTisue]

https://scala-ci.typesafe.com/job/scala-2.13.x-jdk17-integrate-community-build/221/

openjdk version "17" 2021-09-14
OpenJDK Runtime Environment Temurin-17+35 (build 17+35)
OpenJDK 64-Bit Server VM Temurin-17+35 (build 17+35, mixed mode, sharing)

👍

[SethTisue]

presumably the runs will be green, if not I'll come back