[karaf] branch karaf-4.2.x updated: Update Jenkinsfile configuration with new settings

[jb...@apache.org]

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

jbonofre pushed a commit to branch karaf-4.2.x
in repository https://gitbox.apache.org/repos/asf/karaf.git


The following commit(s) were added to refs/heads/karaf-4.2.x by this push:
     new d108313  Update Jenkinsfile configuration with new settings
d108313 is described below

commit d1083131d5c814e6b4affc55191690287b6e5520
Author: jbonofre <jb...@apache.org>
AuthorDate: Mon Oct 19 11:18:36 2020 +0200

    Update Jenkinsfile configuration with new settings
    
    (cherry picked from commit 784e893c3cfecd584ec24e178b9cb660d9577620)
---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 657a99a..3aef6f7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -35,8 +35,8 @@ pipeline {
 
     tools {
         // ... tell Jenkins what java version, maven version or other tools are required ...
-        maven 'Maven 3 (latest)'
-        jdk 'JDK 11 (latest)'
+        maven 'maven_3_latest'
+        jdk 'jdk_11_latest'
     }
 
     options {