From aadba7fdc5ed98c911dd0e2689b44de311b6f520 Mon Sep 17 00:00:00 2001
From: Tschipp <mrtschipp@gmail.com>
Date: Thu, 23 Dec 2021 23:39:20 +0100
Subject: [PATCH] actually fixed javadoc

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

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