fixed obscure javadoc lint behaviour