From f6b14f475da653e0dcb976639ae24088d1aed3cc Mon Sep 17 00:00:00 2001
From: Guillem Hernandez Sola <guillem@itnove.com>
Date: Mon, 19 Oct 2020 21:09:35 +0200
Subject: [PATCH] Added maven_jenkins

---
 Jenkinsfile | 17 ++++++-----------
 1 file changed, 6 insertions(+), 11 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 0a45cf3..9d47713 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,31 +1,26 @@
 pipeline {
     agent any
 
+    tools {
+        // Install the Maven version configured as "M3" and add it to the path.
+        maven "maven_jenkins"
+    }
+
     stages {
         stage ('Compile Stage') {
-
             steps {
-                withMaven(maven : 'maven_jenkins') {
                     sh 'mvn clean compile'
-                }
             }
         }
-
         stage ('Testing Stage') {
-
             steps {
-                withMaven(maven : 'maven_jenkins') {
                     sh 'mvn test'
                 }
             }
         }
-
-
         stage ('Deployment Stage') {
             steps {
-                withMaven(maven : 'maven_jenkins') {
-                    sh 'mvn deploy'
-                }
+                    sh 'mvn deploy'                
             }
         }
     }