Fix Javadocs for Java 8