From 6e858746c1bdcc5491666a397dc8ae927bf37175 Mon Sep 17 00:00:00 2001 From: Ralph Plawetzki Date: Wed, 10 May 2023 06:35:52 +0200 Subject: [PATCH] Keep change to JDK 20 outside of this PR --- .idea/misc.xml | 2 +- pom.xml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.idea/misc.xml b/.idea/misc.xml index 8c0cac2af..e5d629592 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -8,7 +8,7 @@ - + \ No newline at end of file diff --git a/pom.xml b/pom.xml index ee77ac534..bf8405d91 100644 --- a/pom.xml +++ b/pom.xml @@ -26,7 +26,7 @@ UTF-8 - 20 + 19 @@ -48,7 +48,7 @@ 2.2 31.1-jre 2.10.1 - 20.0.1 + 19.0.2.1 4.3.0 9.31 1.4.5