From f49227133ed5ddfc138d67d3c9c86a745b810dc5 Mon Sep 17 00:00:00 2001
From: Jeremi Sz <jeremiszlapka@gmail.com>
Date: Tue, 14 Mar 2023 16:46:53 +0000
Subject: [PATCH] readded jdk

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

diff --git a/JenkinsFile b/JenkinsFile
index e05f48571..e06541446 100644
--- a/JenkinsFile
+++ b/JenkinsFile
@@ -3,6 +3,7 @@ pipeline{
 
     tools{
         maven 'maven'
+        jdk "Java 17"
     }
 
     stages{