From 60d8d7761ede5e3b1eadcc9cdf365c9c01a63389 Mon Sep 17 00:00:00 2001
From: Jochen Schalanda <jochen@schalanda.name>
Date: Sun, 24 Sep 2023 22:21:36 +0200
Subject: [PATCH] Build with release 8 (instead of source and target)

---
 pom.xml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 97c9cb7195..85e4abc04a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -324,8 +324,7 @@
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-compiler-plugin</artifactId>
                 <configuration>
-                    <source>1.8</source>
-                    <target>1.8</target>
+                    <release>8</release>
                     <fork>true</fork>
                     <parameters>true</parameters>
                     <showWarnings>true</showWarnings>