From dd694a9eb2236656f9bd6caca0652df846bbf5cd Mon Sep 17 00:00:00 2001
From: Laurent Pierron <Laurent.Pierron@inria.fr>
Date: Sun, 22 Jan 2023 16:23:32 +0100
Subject: [PATCH] building for JDK 18, because 19 is unavailable.

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

diff --git a/pom.xml b/pom.xml
index bf936f5..dc1c839 100644
--- a/pom.xml
+++ b/pom.xml
@@ -9,8 +9,8 @@
   <name>TPTestIUTJava</name>
   <url>http://maven.apache.org</url>
   <properties>
-    <maven.compiler.source>19</maven.compiler.source>
-    <maven.compiler.target>19</maven.compiler.target>
+    <maven.compiler.source>18</maven.compiler.source>
+    <maven.compiler.target>18</maven.compiler.target>
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
   </properties>
 
-- 
GitLab