From 68cee82b781fc56e9da35d997d3a1b6d24dd7da8 Mon Sep 17 00:00:00 2001
From: Jared <jaredlll08@gmail.com>
Date: Sat, 30 Jul 2022 00:01:26 +0200
Subject: [PATCH] build on the correct java

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

diff --git a/Jenkinsfile b/Jenkinsfile
index d5bda80..bc1f59e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@
 pipeline {
     agent any
     tools {
-        jdk "jdk-16.0.1+9"
+        jdk "jdk-17.0.1"
     }
     stages {
         stage('Clean') {