fix javadoc errors found by OpenJDK 7