--- build.xml.vanilla	2012-02-23 01:17:09.137602588 +0100
+++ build.xml	2012-02-23 01:21:35.431836983 +0100
@@ -79,6 +79,9 @@
     <pathelement path="classes/xp.jar"/>
     <pathelement path="classes/servlet.jar"/>
     <pathelement path="${build.core.classes}"/>
+    <fileset dir="jars">
+        <include name="**/*.jar"/>
+    </fileset>
   </path>
 
   <!-- =================================================================== -->
@@ -99,6 +102,7 @@
   <!-- =================================================================== -->
   <target name="compile.core" depends="prepare">
     <javac srcdir="${src.dir}" 
+	   encoding="iso-8859-1"
 	   destdir="${build.core.classes}" 
 	   debug="${debug}"
 	   excludes="org/w3c/jigadm/** org/w3c/jigedit/**"
@@ -111,6 +115,7 @@
   <!-- =================================================================== -->
   <target name="compile.admin" depends="compile.core">
     <javac srcdir="${src.dir}" 
+	   encoding="iso-8859-1"
 	   destdir="${build.admin.classes}" 
 	   debug="${debug}"
 	   includes="org/w3c/jigadm/**"
@@ -122,7 +127,8 @@
   <!-- Compiles the edit package                                           -->
   <!-- =================================================================== -->
   <target name="compile.edit" depends="compile.core">
-    <javac srcdir="${src.dir}" 
+    <javac srcdir="${src.dir}"
+	   encoding="iso-8859-1"
 	   destdir="${build.edit.classes}" 
 	   debug="${debug}"
 	   includes="org/w3c/jigedit/**"
@@ -173,7 +179,9 @@
   <target name="javadocs" depends="prepare">
     <mkdir dir="${build.javadocs}"/>
     <javadoc packagenames="${packages}"
+	     encoding="iso-8859-1"
 	     sourcepath="${src.dir}"
+		 classpathref="build.classpath"
              destdir="${build.javadocs}"
              author="true"
              version="true"