--- jsr166/build.xml 2017/05/13 20:16:55 1.243 +++ jsr166/build.xml 2017/05/17 00:17:49 1.244 @@ -457,6 +457,7 @@ access="${build.javadoc.access}" sourcepath="${src.dir}" classpath="" + source="9" executable="${javadoc9}"> @@ -807,6 +808,7 @@ access="${build.javadoc.access}" sourcepath="${4jdk8src.dir}:${jdk8.src.dir}" classpath="" + source="8" executable="${javadoc8}" failonerror = "true">