From 40f0a99e5a42b960c97dd6bac2678f368d6f6896 Mon Sep 17 00:00:00 2001
From: EpicKnarvik97 <kristian.knarvik@knett.no>
Date: Sat, 30 Oct 2021 15:17:15 +0200
Subject: [PATCH] Forces Jenkins to use a compatible JDK

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 48e21a5..5a47c8f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,8 @@
 pipeline {
     agent any
+    tools {
+        jdk 'JDK17'
+    }
     stages {
         stage('Build') {
             steps {