--- jsr166/build.xml 2013/01/14 19:22:27 1.95
+++ jsr166/build.xml 2013/01/14 21:06:16 1.96
@@ -988,10 +988,15 @@
+ sourcepath="${topsrc.dir}:${jdk7src.dir}:${jdksrc.dir}"
+ executable="${javadoc7}"
+ additionalparam="-XDignore.symbol.file=true" >
+
+
+
+