diff --git a/Jenkinsfile b/Jenkinsfile index 7a8cf3eb3..c8c2854ab 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,9 @@ pipeline { agent any - + tools { + maven 'Maven 3.3.9' + + } stages { stage ('Initialize') { steps {