File 00build.xml.patch of Package jedit

Index: build.xml
===================================================================
--- build.xml	(revision 21227)
+++ build.xml	(working copy)
@@ -145,6 +152,7 @@
 		description="retrieve the dependencies"
 		depends="init,init-ivy"
 		unless="ivy.done">
+		<!--
 		<ivy:retrieve sync="true"/>
 		<ivy:retrieve pattern="${lib.dir}/ivy/[artifact]-[revision].[ext]"
 			      organisation="org.apache.ivy"
@@ -154,6 +162,7 @@
 			      inline="true"/>
 		<property name="ivy.done"
 			  value="true"/>
+		-->
 	</target>
 
 	<target name="setup"
@@ -696,6 +705,7 @@
 					 author="true"
 					 splitindex="true"
 					 locale="en"
+					 encoding="UTF-8"
 					 windowtitle="jEdit API"
 					 doctitle="jEdit API"
 					 failonerror="true"