use maven_3.8.5

Signed-off-by: Olivier Lamy <olamy@apache.org>

diff --git a/Jenkinsfile b/Jenkinsfile
index 14e5537d929d6dc7ce4bbc85ede4170a6e28fdf4..f807c0014ef2de0b1ee1dc532b6ea8a10b23afe6 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -32,7 +32,7 @@ buildJdk = 'jdk_1.8_latest'
 buildJdk9 = 'jdk_1.9_latest'
 buildJdk10 = 'jdk_10_latest'
 buildJdk11 = 'jdk_11_latest'
-buildMvn = 'maven_3.6.3'
+buildMvn = 'maven_3.8.5'
 //localRepository = ".repository"
 //localRepository = "../.maven_repositories/${env.EXECUTOR_NUMBER}"
 mavenOpts = '-Xms1g -Xmx2g -Djava.awt.headless=true'