From 4800f6bfabcc780255a9763c28e7ce2a048bc6a0 Mon Sep 17 00:00:00 2001
From: samschreiber <sam.schreiber@gmail.com>
Date: Tue, 26 Nov 2013 00:27:13 -0800
Subject: [PATCH] Switch to doing Java7 builds in the build.xml file.

---
 build.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index 97bbbaee3..c27845815 100644
--- a/build.xml
+++ b/build.xml
@@ -9,8 +9,8 @@
     <property name="ECLIPSE_HOME" value="/usr/lib/eclipse"/>
     <property name="junit.output.dir" value="junit"/>
     <property name="debuglevel" value="source,lines,vars"/>
-    <property name="target" value="1.6"/>
-    <property name="source" value="1.6"/>
+    <property name="target" value="1.7"/>
+    <property name="source" value="1.7"/>
     <path id="GGP_Base.classpath">
         <pathelement location="bin"/>
         <pathelement location="src/external/FlyingSaucer/core-renderer.jar"/>