Blame SOURCES/javaAPI.patch

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