From 0e5cf18d8cd2a3a7021b8b8f1f50eb9c7774736a Mon Sep 17 00:00:00 2001
From: "David A. Velasco" <dvelasco@owncloud.com>
Date: Tue, 25 Apr 2017 11:34:49 +0200
Subject: [PATCH] Update build version to Java 7

---
 ant.properties | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 ant.properties

diff --git a/ant.properties b/ant.properties
new file mode 100644
index 00000000..0901c3b2
--- /dev/null
+++ b/ant.properties
@@ -0,0 +1,8 @@
+# This file contains custom properties used by the Ant build system.
+#
+# This file must be checked in Version Control Systems.
+#
+
+# Java version options
+java.source=1.7
+java.target=1.7