fix javadocs for JDK 1.8