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{