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

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 29059ce..0bebb61 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@
 pipeline {
     agent any
     tools {
-        jdk "jdk-16.0.1.9"
+        jdk "jdk-16.0.1+9"
     }
     stages {
         stage('Clean') {