From f72a8b15d4034ace93a6ffdda832cf821176f3c3 Mon Sep 17 00:00:00 2001
From: Tschipp <mrtschipp@gmail.com>
Date: Wed, 20 Oct 2021 22:41:25 +0200
Subject: [PATCH] updated jenkinsfile

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index c6d9f45..9a52713 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,6 +2,9 @@
 
 pipeline {
     agent any
+    tools {
+        jdk "jdk8u292-b10"
+    }
     stages {
         stage('Clean') {
             steps {