From 61564cc7737a7fcebdd7021ee2216b2ec4761c61 Mon Sep 17 00:00:00 2001
From: Ronald Brill <rbri@rbri.de>
Date: Sun, 15 Oct 2023 08:56:01 +0200
Subject: [PATCH] openjdk-11

---
 src/jenkins/library-tests | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jenkins/library-tests b/src/jenkins/library-tests
index 16386f029b6..699f825f7d8 100644
--- a/src/jenkins/library-tests
+++ b/src/jenkins/library-tests
@@ -7,7 +7,7 @@ pipeline {
     timeout(time: 210, unit: 'MINUTES')
   }
   tools {
-    jdk 'openjdk-1.8'
+    jdk 'openjdk-11+28'
   }
   stages {
     stage('Build') {