From 9f0db7453c71edde76b152595549b487e7890fe4 Mon Sep 17 00:00:00 2001
From: Martin Jobst <martin.jobst@posteo.de>
Date: Tue, 9 Apr 2024 20:32:32 +0200
Subject: [PATCH] update Jenkins to Java 21

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 2811b561d1..32b8b29363 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -22,7 +22,7 @@ pipeline {
 	}
 	tools {
 		maven 'apache-maven-latest'
-		jdk 'openjdk-jdk17-latest'
+		jdk 'openjdk-jdk21-latest'
 	}
 	stages {
 		stage('Build') {