fix JDK 1.8 javadoc complaints