File findbugs-javadoc.patch of Package findbugs

--- findbugs-3.0.1/build.xml	2018-12-19 16:12:01.609965260 +0100
+++ findbugs-3.0.1/build.xml	2018-12-19 16:13:06.614286632 +0100
@@ -1184,6 +1184,7 @@
       <javadoc access="protected"
        author="true"
         packagenames="*"
+        source="1.7"
         destdir="${apiDoc.dir}"
         doctitle="FindBugs API Documentation"
         Header="&lt;b&gt;FindBugs&amp;trade; ${release.number}&lt;/b&gt;"
@@ -1200,6 +1201,7 @@
        classpath="lib/bcel.jar:lib/junit.jar:lib/dom4j-1.6.1.jar:lib/jsr305.jar:lib/AppleJavaExtensions.jar"
         destdir="${annotationDoc.dir}"
         packagenames="edu.umd.cs.findbugs.annotations"
+        source="1.7"
         doctitle="FindBugs Annotation Documentation"
         nodeprecated="false" nodeprecatedlist="false" noindex="false" nonavbar= "false" notree="false"
         sourcepath="src/java:src/gui:src/antTask" splitindex="true" use="true" version="true"/>