[maven-site] branch master updated: update tool names

[rfscholte]

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

rfscholte pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/maven-site.git


The following commit(s) were added to refs/heads/master by this push:
     new ed99b45  update tool names
ed99b45 is described below

commit ed99b45a598fe515ad37ab76b2156f0c27dc7c82
Author: rfscholte <rfscho...@apache.org>
AuthorDate: Mon Oct 19 17:59:59 2020 +0200

    update tool names
---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index c7ab13e..56ba594 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -27,7 +27,7 @@
                 not { branch 'master' }
             }
             steps {
-                withMaven(jdk:'JDK 1.8 (latest)', maven:'Maven 3 (latest)', 
mavenLocalRepo:'.repository', options: [
+                withMaven(jdk:'jdk_1.8_latest', maven:'maven_3_latest', 
mavenLocalRepo:'.repository', options: [
                   artifactsPublisher(disabled: true),
                   junitPublisher(disabled: true),
                   findbugsPublisher(disabled: true),
@@ -42,7 +42,7 @@
                 branch 'master'
             }
             steps {
-                withMaven(jdk:'JDK 1.8 (latest)', maven:'Maven 3 (latest)', 
mavenLocalRepo:'.repository', options: [
+                withMaven(jdk:'jdk_1.8_latest', maven:'maven_3_latest', 
mavenLocalRepo:'.repository', options: [
                   artifactsPublisher(disabled: true),
                   junitPublisher(disabled: true),
                   findbugsPublisher(disabled: true),