diff --git a/Jenkinsfile b/Jenkinsfile index f32caef81..68a34dc6f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -42,7 +42,7 @@ pipeline { tools { maven 'maven_3_latest' - jdk 'jdk_1.8_latest' + jdk 'jdk_11_latest' } options {