From e3ed05fc1c1dca35add2ff5da29f910c693e23e2 Mon Sep 17 00:00:00 2001
From: olivier lamy <oliver.lamy@gmail.com>
Date: Fri, 18 Sep 2020 14:19:28 +1000
Subject: [PATCH] jdk15 build

Signed-off-by: olivier lamy <oliver.lamy@gmail.com>
---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 8b1e453701fb..c36df9d72ee5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -49,12 +49,12 @@ pipeline {
           }
         }
 
-        stage("Build / Test - JDK14") {
+        stage("Build / Test - JDK15") {
           agent { node { label 'linux' } }
           steps {
             container( 'jetty-build' ) {
               timeout( time: 120, unit: 'MINUTES' ) {
-                mavenBuild( "jdk14", "clean install -T3 -Djacoco.skip=true ", "maven3",
+                mavenBuild( "jdk15", "clean install -T3 -Djacoco.skip=true ", "maven3",
                             [[parserName: 'Maven'], [parserName: 'Java']])
               }
             }