From 7f471168b6d88e009c2cf4189894b47558166c3f Mon Sep 17 00:00:00 2001
From: Sebastian Sdorra <sebastian.sdorra@cloudogu.com>
Date: Tue, 4 Feb 2020 16:07:24 +0100
Subject: [PATCH] use jdk-11 for ci builds

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6ad4f7d459..839f9ce3b0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -108,7 +108,7 @@ String mainBranch
 
 Maven setupMavenBuild() {
   // Keep this version number in sync with .mvn/maven-wrapper.properties
-  Maven mvn = new MavenInDocker(this, '3.5.2-jdk-8')
+  Maven mvn = new MavenInDocker(this, '3.6.3-jdk-11')
 
   if (isMainBranch()) {
     // Release starts javadoc, which takes very long, so do only for certain branches