From f200ebd280f0525a517297af53ad730f47c2f0b1 Mon Sep 17 00:00:00 2001
From: Fredrik Roubert <fredrik@roubert.name>
Date: Sat, 18 Feb 2023 18:27:29 +0100
Subject: [PATCH] ITS#4501 Set javac source="8".

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index b2b72a6..8b5cfc9 100644
--- a/build.xml
+++ b/build.xml
@@ -16,7 +16,7 @@
 
     <target depends="init" name="build" description="Builds the drivers" >
         <mkdir dir="${classes}"/>
-        <javac destdir="${classes}" includes="com/octetstring/**" srcdir="${src}">
+        <javac source="8" destdir="${classes}" includes="com/octetstring/**" srcdir="${src}">
             <classpath>
                 <pathelement location="${lib}/junit.jar" />
             </classpath>
-- 
GitLab