Compliance with JDK 8's Javadoc lint checking