Build: fix javadoc link to Java 7 APIs