From 2c78cf35ff3c6ee320e244f74afd88f3f1090770 Mon Sep 17 00:00:00 2001
From: Andrea Cosentino <ancosen@gmail.com>
Date: Tue, 28 Feb 2023 10:03:51 +0100
Subject: [PATCH] Release should be set to JDK17

Signed-off-by: Andrea Cosentino <ancosen@gmail.com>
---
 pom.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 3af99a943..009a02a9b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -42,8 +42,9 @@
     </modules>
 
     <properties>
-        <maven.compiler.source>11</maven.compiler.source>
-        <maven.compiler.target>11</maven.compiler.target>
+        <maven.compiler.source>17</maven.compiler.source>
+	<maven.compiler.target>17</maven.compiler.target>
+	<maven.compiler.release>17</maven.compiler.release>
 
         <failIfNoTests>false</failIfNoTests>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>