Bug 450684: Javadoc URL that redirects from http to https yields: Unknown javadoc format for <type from Oracle JRE rt.jar>