[creadur-whisker] 01/02: Adapt to new Maven name in Jenkins

[pottlinger]

This is an automated email from the ASF dual-hosted git repository.

pottlinger pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/creadur-whisker.git

commit d4a1888349c350b4acc506c42efe48ab161ec629
Author: Hugo Hirsch <git...@hugo-hirsch.de>
AuthorDate: Sun Oct 18 21:42:58 2020 +0200

    Adapt to new Maven name in Jenkins
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index aa2e9cc..d4dcc41 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -39,7 +39,7 @@ pipeline {
     }
 
     tools {
-        maven 'Maven 3 (latest)'
+        maven 'maven_3_latest'
         jdk 'JDK 1.8 (latest)'
     }