From 23a68460680d6183a07b04e6efdd6f6b45404555 Mon Sep 17 00:00:00 2001
From: Johannes Visintini <johannes.visintini@heigit.org>
Date: Tue, 24 Jun 2025 15:01:33 +0200
Subject: [PATCH] ci: fix java 17

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 34d73cb7..8377d1b2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,6 +7,7 @@ pipeline {
     }
     tools {
         maven 'Maven 3'
+        jdk 'Java 17'
     }
 
     environment {