From af423d3dd7d21182bf647c57d390f6b421d11798 Mon Sep 17 00:00:00 2001
From: Ghislain Fourny <gfourny@inf.ethz.ch>
Date: Mon, 28 Oct 2024 16:56:52 +0100
Subject: [PATCH] Update pom.xml

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

diff --git a/pom.xml b/pom.xml
index 00bd84c58..78d8c1089 100644
--- a/pom.xml
+++ b/pom.xml
@@ -44,8 +44,8 @@
                 <!-- Holy grail of eclipse configuration:  https://stackoverflow.com/a/49599478/10707488   -->
                 <configuration>
                     <compilerId>eclipse</compilerId>
-                    <source>11</source>
-                    <target>11</target>
+                    <source>17</source>
+                    <target>17</target>
                     <compilerArgs>
                         <arg>-properties</arg>
                         <arg>${project.basedir}/org.eclipse.jdt.core.prefs</arg>