From d4b9f1264d7d47726f20ae6c8b969d2f9e9f49a8 Mon Sep 17 00:00:00 2001
From: Stephan Fuhrmann <s@sfuhrm.de>
Date: Tue, 13 Jun 2023 22:36:21 +0200
Subject: [PATCH] Revert "JDK 20?"

This reverts commit 38c5f8ee8e03723f4c02c6c3d7faff0e373b9f3b.
---
 .github/workflows/maven.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index f8990d3e..9ef520ef 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        java: [ 11, 12, 13, 14, 15, 17, 19, 20 ]
+        java: [ 11, 12, 13, 14, 15, 17, 19 ]
     steps:
     - uses: actions/checkout@v3
     - name: Set up JDK ${{ matrix.java }}