Fix one more javadoc error for Java 8