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

--- jdom-1.1/build.xml
+++ jdom-1.1/build.xml
@@ -39,8 +39,8 @@
 
     <property name="compile.debug"       value="true" />
     <property name="compile.optimize"    value="true" />
-    <property name="compile.target"      value="1.2" />
-    <property name="compile.source"      value="1.2" />
+    <property name="compile.target"      value="1.5" />
+    <property name="compile.source"      value="1.5" />
     <property name="compile.deprecation" value="true" />
 
     <property name="src.dir" value="./src/java"/>
@@ -75,6 +75,7 @@
     <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"/>