additional flag for javadoc, like the addition from Roger last week ... because now it was missing in another place