Fix broken Javadoc URL after switching to Java 7