Upgrade to JDK 17.0.7.

mp911de · mp911de · commit bd8b8e74a512 · 2023-07-03T09:21:39.000+02:00
Closes #2030
diff --git a/ci/pipeline.properties b/ci/pipeline.properties
@@ -1,5 +1,5 @@
 # Java versions
-java.main.tag=17.0.6_10-jdk-focal
+java.main.tag=17.0.7_7-jdk-focal
 java.next.tag=20-jdk-jammy
 
 # Docker container images - standard
