Upgrade to Java 20.

mp911de · mp911de · commit d725a55c9237 · 2023-03-28T08:45:11.000+02:00
Closes #2802
diff --git a/ci/pipeline.properties b/ci/pipeline.properties
@@ -1,6 +1,6 @@
 # Java versions
 java.main.tag=8u362-b09-jdk-focal
-java.next.tag=11.0.18_10-jdk-focal
+java.next.tag=20-jdk-jammy
 java.lts.tag=17.0.6_10-jdk-focal
 
 # Docker container images - standard
