hg: jdk/jdk: 8190312: javadoc -link doesn't work with http: -> https: URL redirects

[jonathan.gibbons at oracle.com]

Changeset: 526f5cf13972
Author:    jjg
Date:      2018-11-26 11:17 -0800
URL:       http://hg.openjdk.java.net/jdk/jdk/rev/526f5cf13972

8190312: javadoc -link doesn't work with http: -> https: URL redirects
Reviewed-by: hannesw

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/doclets.properties
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/Extern.java
+ test/langtools/jdk/javadoc/doclet/testLinkOption/TestRedirectLinks.java