Fix javadoc for JDK8