Update CI Properties.

mp911de · mp911de · commit 00155c2b31ab · 2024-11-15T10:39:02.000+01:00
See #2989
diff --git a/ci/pipeline.properties b/ci/pipeline.properties
@@ -1,5 +1,5 @@
 # Java versions
-java.main.tag=17.0.12_7-jdk-focal
+java.main.tag=17.0.13_11-jdk-focal
 java.next.tag=22.0.2_9-jdk-jammy
 
 # Docker container images - standard
