ci: fix java 17

joker234 · joker234 · commit 23a68460680d · 2025-06-24T15:01:33.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -7,6 +7,7 @@ pipeline {
     }
     tools {
         maven 'Maven 3'
+        jdk 'Java 17'
     }
 
     environment {
