diff --git a/Jenkinsfile b/Jenkinsfile index 1abdc3ad1..7965564f5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,5 @@ pipeline { agent any - tools { maven 'Maven 3.6.3' jdk 'Java 9.0.4' } stages { stage('Build') { steps {