build.xml
changeset 35546 9df381ec1641
parent 35469 6f33ffa453d5
child 35740 349c4b630c6c
--- a/build.xml	Fri Mar 01 14:46:12 2019 +0100
+++ b/build.xml	Mon Mar 04 14:38:05 2019 +0100
@@ -536,7 +536,7 @@
   </target>
 
   <target name="generate.java.doc">
-    <javadoc Windowtitle="${title}" access="protected" Header="${header}" Footer="${footer}" destdir="${build.docs}" maxmemory="1024M" failonerror="yes" additionalparam="${xdoclint.missing} ${html.version}">
+    <javadoc Windowtitle="${title}" access="protected" Header="${header}" Footer="${footer}" destdir="${build.docs}" maxmemory="1024M" failonerror="yes" additionalparam="${xdoclint.missing} ${html.version}" source="8">
       <sourcepath>
         <pathelement path="${base.src}" />
         <pathelement path="${base.src.test}/src" />