diff --git a/Jenkinsfile b/Jenkinsfile index 338599f12..16107d05e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,8 @@ pipeline { agent any tools { - maven 'maven 3.6.3' - jdk 'jdk-1.8' + maven 'maven 3.6' + jdk 'Java 1.' } stages { stage('Build') {