From 652c264410aa80ce59c35dc724abf6336921bc65 Mon Sep 17 00:00:00 2001
From: Stephan Reichhelm <reichhelm@grit.de>
Date: Fri, 7 Jun 2024 12:06:52 +0200
Subject: [PATCH] upgrade to temurin 17

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1852ff8daaa..ec43acc43db 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
     }
     tools {
         maven 'maven-3.9'
-        jdk 'adoptopenjdk-jdk11'
+        jdk 'temurin-jdk17'
     }
     environment {
         MAVEN_OPTS='-Djava.awt.headless=true -Xmx4096m'