From 47b5bf3bd42e3a28b8d57238bf712ca4a5742701 Mon Sep 17 00:00:00 2001
From: Greg Turnquist <gturnquist@pivotal.io>
Date: Tue, 1 Oct 2019 12:36:11 -0500
Subject: [PATCH] Upgrade to JDK 13 for edge testing.

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b504b2a..3132a24 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -36,10 +36,10 @@ pipeline {
 						sh "PROFILE=none ci/test.sh"
 					}
 				}
-				stage("test: baseline (jdk12)") {
+				stage("test: baseline (jdk13)") {
 					agent {
 						docker {
-							image 'adoptopenjdk/openjdk12:latest'
+							image 'adoptopenjdk/openjdk13:latest'
 							args '-v $HOME/.m2:/root/.m2'
 						}
 					}