Hi Jonathan, Ah, indeed. I only tested the compilation from within eclipse and seem to have run into this eclipse bug:https://bugs.eclipse.org/bugs/show_bug.cgi?id=576378 Sorry for the noise!
Udo, What does `javac` report? `javadoc` uses the `javac` front end, and those look like `javac` errors to me, implying this is invalid source code. -- Jon
