Doclint

Verify Javadoc with doclint. We only use the checks of the groups accessibility and reference, because all other groups report issues.