--- jsr166/build.xml 2017/04/01 21:47:32 1.242 +++ jsr166/build.xml 2017/05/17 00:17:49 1.244 @@ -411,8 +411,9 @@ - + + @@ -456,6 +457,7 @@ access="${build.javadoc.access}" sourcepath="${src.dir}" classpath="" + source="9" executable="${javadoc9}"> @@ -463,6 +465,7 @@ + @@ -805,6 +808,7 @@ access="${build.javadoc.access}" sourcepath="${4jdk8src.dir}:${jdk8.src.dir}" classpath="" + source="8" executable="${javadoc8}" failonerror = "true">