From 74a96fe5efc6ea177a1897c7994df29dddac068b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Tue, 8 Sep 2015 13:08:31 +0000
Subject: [PATCH] - added Java target and source properties for downgrading
 Java version

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

diff --git a/build.xml b/build.xml
index f994fe1d..5ce80c60 100644
--- a/build.xml
+++ b/build.xml
@@ -48,6 +48,9 @@
     <property name="libdir"  value="lib" />
     <property name="classpath"  value="classes"/>
     <property name="tempdir"  value="/tmp"/>
+    <!-- for downgrading -->
+    <!--property name="ant.build.javac.source"  value="1.7"/>
+    <property name="ant.build.javac.target"  value="1.7"/-->
     <!-- when using logback -->
     <property name="logback.configurationFile"  value="logback.xml"/>
   </target>
-- 
GitLab