From 93e997d442d617226c3dc307719e9b752f037e91 Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flo@geekplace.eu>
Date: Thu, 19 Dec 2013 10:58:31 +0100
Subject: [PATCH 1/2] lib/build.xml: Also set javac source to java6

"javac: target release 6 conflicts with default source release 1.7"
error will be emitted if a java7 compiler is used and target is set to 6
but not source.
---
 lib/build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/build.xml b/lib/build.xml
index 066dfff7..d480d579 100644
--- a/lib/build.xml
+++ b/lib/build.xml
@@ -20,6 +20,7 @@
 	srcdir="src/"
 	destdir="build/"
 	bootclasspath="${sdk-location}/platforms/${android.version}/android.jar"
+	source="6"
 	target="6"
 	/>
     <jar

From 530a3fcd2edb9eda0371e4975fb5becee87eaebe Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flo@geekplace.eu>
Date: Thu, 19 Dec 2013 11:01:40 +0100
Subject: [PATCH 2/2] lib/build.xml: Add comment why we use java6 target/source

---
 lib/build.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/build.xml b/lib/build.xml
index d480d579..2a50aacb 100644
--- a/lib/build.xml
+++ b/lib/build.xml
@@ -16,6 +16,11 @@
 
   <target name="transdroid.jar" depends="check-android-exists" >
     <mkdir dir="build/" />
+    <!-- We create java6 bytecode here, because Android build tools <
+         19.0.0 seem to be unable to handle java7 bytecode and the
+         f-droid buildserver does use a version < 19.0.0. In the
+         future the 'source' and 'target' attributes may be removed
+         from the the javac element. -->
     <javac
 	srcdir="src/"
 	destdir="build/"