Fix javadoc lint in Java 8