Suppress Javadoc lint