From f358310e66d86d35191daf57238d74fba3aba1b3 Mon Sep 17 00:00:00 2001
From: 0nlineSam <uni@sam.tadjiky.de>
Date: Thu, 9 Jan 2025 18:54:45 +0100
Subject: [PATCH] Modification for compatibility with jdk17

---
 dicegame/pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dicegame/pom.xml b/dicegame/pom.xml
index 91a36c1c..aefda6aa 100644
--- a/dicegame/pom.xml
+++ b/dicegame/pom.xml
@@ -9,8 +9,8 @@
     <version>1.0</version>
 
     <properties>
-        <maven.compiler.source>23</maven.compiler.source>
-        <maven.compiler.target>23</maven.compiler.target>
+        <maven.compiler.source>17</maven.compiler.source>
+        <maven.compiler.target>17</maven.compiler.target>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     </properties>
     <dependencies>