File jdom-1.0-build.xml.patch of Package jdom

Index: jdom-1.0/jdom-1.0/build.xml
===================================================================
--- jdom-1.0.orig/jdom-1.0/build.xml
+++ jdom-1.0/jdom-1.0/build.xml
@@ -73,6 +73,7 @@ For instructions on how to build JDOM, p
     <path id="compile.class.path">
       <pathelement location="${xml-apis.jar}"/>
       <pathelement location="${parser.jar}"/>
+      <pathelement location="${jaxen.lib.dir}"/>
 
       <fileset dir="${jaxen.lib.dir}">
         <include name="jaxen-*.jar"/>