Set OpenJDK version to 1.8

0002-Set-Java-source-target-to-1.8.patch

@@ -0,0 +1,25 @@
+From 202fbfcbb7c179dcd40e7b296604febb10a8c256 Mon Sep 17 00:00:00 2001
+From: Marian Koncek <mkoncek@redhat.com>
+Date: Wed, 21 Feb 2024 12:13:45 +0100
+Subject: [PATCH] Set Java source/target to 1.8
+
+---
+ build.xml | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/build.xml b/build.xml
+index d5c2b54..cb1dfd1 100644
+--- a/build.xml
++++ b/build.xml
+@@ -57,7 +57,7 @@
+        token="+ version_str"
+        value='+ "v0.11b ${cupversion} (SVN rev ${svnversion})"'>
+     </replace>
+-    <javac srcdir="${java}" destdir="${classes}" verbose="off" listfiles="off" debug="on" source="1.5" target="1.5">
++    <javac srcdir="${java}" destdir="${classes}" verbose="off" listfiles="off" debug="on" source="1.8" target="1.8">
+       <classpath refid="libraries"/>
+     </javac>
+   </target>
+-- 
+2.43.0
+