From a7743fa18c4f3b1afc72bd92a6794f542c11d500 Mon Sep 17 00:00:00 2001
From: Christian Kaltepoth <christian@kaltepoth.de>
Date: Wed, 28 Feb 2018 08:47:40 +0100
Subject: [PATCH] Set javac options for source and target to JDK7

---
 build.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index f4b4ea5..989eca1 100644
--- a/build.xml
+++ b/build.xml
@@ -46,7 +46,9 @@
            classpathref="project.classpath"
            deprecation="true"
            includeantruntime="false"
-           includes="com/verisignlabs/dnssec/" />
+           includes="com/verisignlabs/dnssec/"
+           source="1.7"
+           target="1.7" />
   </target>
 
   <target name="sectools-jar" depends="usage,sectools">