Blame SOURCES/javaAPI.patch

bd3beb
--- build.xml.orig	2018-03-20 15:15:57.063810672 +0000
bd3beb
+++ build.xml	2018-03-20 15:16:26.018700633 +0000
bd3beb
@@ -15,16 +15,20 @@
bd3beb
 	<property name="output" value="bin" />
bd3beb
 	<property name="jar_file" value="ecj.jar" />
bd3beb
 
bd3beb
+	<path id="build.path">
bd3beb
+		<pathelement path="${javaapi}"/>
bd3beb
+		<pathelement path="/usr/lib/jvm/java-1.8.0/jre/lib/rt.jar"/>
bd3beb
+	</path>
bd3beb
 	<target name="build">
bd3beb
 		<delete file="${basedir}/${jar_file}" failonerror="no" />
bd3beb
 		<delete dir="${output}" failonerror="no" />
bd3beb
 		<mkdir dir="${output}" />
bd3beb
 
bd3beb
-		
bd3beb
-					debuglevel="lines,source"
bd3beb
+		
bd3beb
+					debug="yes"
bd3beb
 					source="1.8"
bd3beb
 					target="1.8">
bd3beb
-			<compilerarg line="-Xlint:none"/>
bd3beb
+			<compilerarg line="-Xlint:none -encoding cp1252"/>
bd3beb
 		</javac>
bd3beb
 
bd3beb
 		<delete file="${basedir}/META-INF/MANIFEST.MF" failonerror="false"/>