diff --git a/Jenkinsfile b/Jenkinsfile index f0c8a1ea2..10edbdbdc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,8 +9,8 @@ pipeline { disableConcurrentBuilds() } tools { - jdk 'JDK 1.7 (latest)' - maven 'Maven 3 (latest)' + jdk 'jdk_1.7_latest' + maven 'maven_3_latest' } triggers { pollSCM 'H/15 * * * *'