javadoc tweaks for JDK 8