File dom4j-sourcetarget.patch of Package dom4j

--- dom4j/build.xml	2009-05-12 15:04:18.000000000 +0200
+++ dom4j/build.xml	2017-09-11 13:36:05.252661089 +0200
@@ -142,8 +142,8 @@
            destdir="${build.dest}"
            debug="${debug}"
            optimize="${optimize}"
-           target="1.3"
-           source="1.3"
+           target="8"
+           source="8"
            deprecation="${deprecation}"
            classpathref="compile.classpath">
 	<exclude name="org/dom4j/datatype/**"/>
@@ -195,6 +195,7 @@
     <mkdir dir="${build.javadocs}"/>
     <javadoc packagenames="${packages}"
              sourcepath="${build.src}"
+             source="8"
              destdir="${build.javadocs}"
              author="true"
              version="true"
@@ -214,6 +215,7 @@
     <mkdir dir="${build.javadocs}"/>
     <javadoc packagenames="${packages}"
              sourcepath="${build.src}"
+             source="8"
              destdir="${build.javadocs}"
              author="true"
              version="true"
@@ -230,6 +232,7 @@
     <mkdir dir="${build.apidocs}"/>
     <javadoc packagenames="${api.packages}"
              sourcepath="${build.src}"
+             source="8"
              destdir="${build.apidocs}"
              author="true"
              version="true"