diff --git a/Jenkinsfile b/Jenkinsfile index 0cdcc55a8..a0a8e791c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,7 @@ pipeline { agent any tools { - maven 'Maven 3.3.9' - jdk 'jdk8' + maven 'Maven-3.6.3' } stages { stage('Build') {