javadoc fixes for JDK1.8