[patch] Patches build.xml to use 1.3, not 1.2

ecj.patch (text/plain), 596 bytes, created by 2010dli on 2007-10-28 15:56:12 UTC

--- build.xml	2007-10-28 11:47:20.000000000 -0400
+++ build.xml	2007-10-28 11:47:39.000000000 -0400
@@ -64,8 +64,8 @@
   <property name="chmod.maxparallel" value="250"/>
   <property name="deprecation" value="false"/>
   <property name="optimize" value="true"/>
-  <property name="javac.target" value="1.2"/>
-  <property name="javac.source" value="1.2"/>
+  <property name="javac.target" value="1.3"/>
+  <property name="javac.source" value="1.3"/>
   <property name="junit.fork" value="false"/>
   <property name="junit.filtertrace" value="off"/>
   <property name="junit.summary" value="no"/>