Details
Description
Javadoc is a very special kind of comment: it can appear anywhere (like every comment), but it can have effect on specific elements.
Because it can appear everywhere in the code it shouldn't be part of the java-lexer and parser but delegated to a specific comment handler. This way you can keep the java-lexer and parser clean while supporting javadoc at any position.
Fixed in rev. 1120