RFR: 8216497: javadoc should auto-link to platform classes [v2]

[Jonathan Gibbons]

On Tue, 22 Sep 2020 17:24:19 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Hannes Wallnöfer has updated the pull request incrementally with three additional commits since the last revision:
>> 
>>  - Merge pull request #1 from lahodaj/JDK-8216497
>>    
>>    Automatically generate the elements-list data from the ct.sym for releases 11+, including the current release under
>>    development
>>  - Generating current release list for javadoc; using hardcoded lists for versions < 11
>>  - Attempting to (mostly) generate the javadoc release manifests from ct.sym historical data.
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/Extern.java line 323:
> 
>> 321:                 props.load(inputStream);
>> 322:             }
>> 323:             url = props.getProperty("doclet.platform.docs." + version);
> 
> Similar to other file-or-url arguments: good!

As a possibly-later cleanup, should we have a single utility method somewhere (in this class) to open a stream on a
file-or-url?

-------------

PR: https://git.openjdk.java.net/jdk/pull/171