Bug#391202: patch

[Stefan Fritsch]

Changing debian/patches/04_build_manifest.patch to the attached patch 
allows the package to build. But I have not tested the resulting package.
--- build.xml.old       2005-08-21 11:08:56.000000000 +0200
+++ build.xml   2005-08-21 11:09:13.000000000 +0200
@@ -47,7 +47,7 @@
   </target>
 
   <target name="makejar">
-    <jar jarfile="${prod.jar}" whenempty="skip" manifest="${lib}/mainclass">
+    <jar jarfile="${prod.jar}" whenempty="skip" manifest="mainclass">
       <fileset dir="${lib}" includes="com/"/>
     </jar>
     <copy file="${prod.jar}" todir="${dist}"/>