diff --git a/Jenkinsfile b/Jenkinsfile index 3b290f2ef4..35e7da4fd1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,8 +2,8 @@ pipeline { agent any tools { - maven 'Maven 3.8.6' - jdk 'jdk11' + maven 'Maven 3.8.4' + jdk 'OpenJDK-11' } stages {