From b034f7647b41e20875b5ce98524c94b035eb3b41 Mon Sep 17 00:00:00 2001
From: Gabriele C <sgdc3.mail@gmail.com>
Date: Wed, 18 Jul 2018 13:00:57 +0200
Subject: [PATCH] Fix deploy credentials

---
 Jenkinsfile | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 0dddcb0b8..385d95343 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,11 +3,6 @@ pipeline {
         label 'argon2'
     }
 
-    tools {
-        maven 'Maven 3'
-        jdk 'OracleJDK 8'
-    }
-
     options {
         timeout(time: 5, unit: 'MINUTES')
         timestamps()
@@ -39,8 +34,15 @@ pipeline {
 
         stage ('Build & Deploy') {
             steps {
-                withCredentials([string(credentialsId: 'authme-coveralls-token', variable: 'COVERALLS_TOKEN')]) {
-                    sh 'mvn -B clean package javadoc:aggregate-jar source:jar deploy coveralls:report -DrepoToken=$COVERALLS_TOKEN'
+                withMaven(
+                    maven: 'Maven 3'
+                    jdk: 'OracleJDK 8'
+                    globalMavenSettingsConfig: 'e5b005b5-be4d-4709-8657-1981662bcbe3'
+                    mavenOpts: '-Xmx4G'
+                ) {
+                    withCredentials([string(credentialsId: 'authme-coveralls-token', variable: 'COVERALLS_TOKEN')]) {
+                        sh 'mvn -B clean package javadoc:aggregate-jar source:jar deploy coveralls:report -DrepoToken=$COVERALLS_TOKEN'
+                    }
                 }
             }
             post {