diff --git a/Jenkinsfile b/Jenkinsfile index 34d73cb7..8377d1b2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,6 +7,7 @@ pipeline { } tools { maven 'Maven 3' + jdk 'Java 17' } environment {