From df6498a2368d8e936dca12867b3316aa30cc9153 Mon Sep 17 00:00:00 2001
From: Tschipp <mrtschipp@gmail.com>
Date: Thu, 23 Dec 2021 23:10:17 +0100
Subject: [PATCH] updated jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 88ec9b8..301ce57 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@
 pipeline {
     agent any
     tools {
-        jdk "jdk17u0-b1"
+        jdk "jdk-17.0.1"
     }
     stages {
         stage('Clean') {