in the project properties I can set the "enable assert" checkbox for the
target JVM. I think this should also affect the "generate javadoc" menu
entry (which complains about compilation errors at the assert statements).
Adding a -source 1.4 in the command line option for javadoc solved this
Is this a bug or intended behavior?