Andreas L Delmelle wrote:
The javadocs build with only one small warning concerning @todo tags somewheres (which I don't take to be a major issue)
The @todo is a custom tag, which are available with Java 1.4. I thought I added a definition for this to the javadoc task in build.xml. In principle we could use @todo tags to generate a todo document for the web site, if we hadn't already a wiki page for this. J.Pietschmann