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'
 						}
 					}