From 2fcad81d6c0c368dbcbe742c7ee149db17480cd2 Mon Sep 17 00:00:00 2001
From: Oliver Drotbohm <odrotbohm@vmware.com>
Date: Mon, 20 Sep 2021 13:14:06 +0200
Subject: [PATCH] #1640 - Tweak CI build to run compatibility builds against
 JDK 17.

---
 Jenkinsfile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 5f097c96..e01bee9f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -54,10 +54,10 @@ pipeline {
 						sh 'PROFILE=none ci/test.sh'
 					}
 				}
-				stage("test: baseline (jdk15)") {
+				stage("test: baseline (jdk17)") {
 					agent {
 						docker {
-							image 'adoptopenjdk/openjdk15:latest'
+							image 'openjdk:17'
 							args '-v $HOME/.m2:/tmp/jenkins-home/.m2'
 						}
 					}
@@ -90,10 +90,10 @@ pipeline {
 						sh 'PROFILE=spring-next ci/test.sh'
 					}
 				}
-				stage("test: spring-next (jdk15)") {
+				stage("test: spring-next (jdk17)") {
 					agent {
 						docker {
-							image 'adoptopenjdk/openjdk15:latest'
+							image 'openjdk:17'
 							args '-v $HOME/.m2:/tmp/jenkins-home/.m2'
 						}
 					}
@@ -126,10 +126,10 @@ pipeline {
 						sh 'PROFILE=kotlin-next ci/test.sh'
 					}
 				}
-				stage("test: kotlin-next (jdk15)") {
+				stage("test: kotlin-next (jdk17)") {
 					agent {
 						docker {
-							image 'adoptopenjdk/openjdk15:latest'
+							image 'openjdk:17'
 							args '-v $HOME/.m2:/tmp/jenkins-home/.m2'
 						}
 					}