--- jsr166/build.xml 2017/04/01 21:47:32 1.242 +++ jsr166/build.xml 2017/06/16 20:56:47 1.246 @@ -296,6 +296,12 @@ + + + + + + @@ -319,7 +325,6 @@ - @@ -411,8 +416,9 @@ - + + @@ -456,6 +462,7 @@ access="${build.javadoc.access}" sourcepath="${src.dir}" classpath="" + source="9" executable="${javadoc9}"> @@ -463,6 +470,7 @@ + @@ -805,6 +813,7 @@ access="${build.javadoc.access}" sourcepath="${4jdk8src.dir}:${jdk8.src.dir}" classpath="" + source="8" executable="${javadoc8}" failonerror = "true">