--- jsr166/build.xml 2017/05/13 20:16:55 1.243 +++ jsr166/build.xml 2017/06/16 20:56:47 1.246 @@ -296,6 +296,12 @@ + + + + + + @@ -319,7 +325,6 @@ - @@ -457,6 +462,7 @@ access="${build.javadoc.access}" sourcepath="${src.dir}" classpath="" + source="9" executable="${javadoc9}"> @@ -807,6 +813,7 @@ access="${build.javadoc.access}" sourcepath="${4jdk8src.dir}:${jdk8.src.dir}" classpath="" + source="8" executable="${javadoc8}" failonerror = "true">