RFR [14] 8215038: Add a page that lists all system properties

[Jonathan Gibbons]

On 12/11/2019 09:26 AM, Pavel Rappo wrote:
> Hello,
>
> Please review the following change for https://bugs.openjdk.java.net/browse/JDK-8215038:
>
>      http://cr.openjdk.java.net/~prappo/8215038/webrev.00/
>
> This change proposes a summary page for system properties. The change is largely based on prior work of Priya Lakshmi Muthuswamy (pmuthuswamy). The result can be seen here:
>
>      http://cr.openjdk.java.net/~prappo/8215038/docs/
>
> For practical reasons the link above leads to only a small part of the API docs, so most links will NOT work. From the navigation bar click on the "INDEX" link and then on the "System Properties" link immediately below the letter index.
>
> We still have a ways to go with this particular functionality, but I reckon this is a good start.
>
> Thanks,
> -Pavel
>

OK.

(Minor Style)
In HtmlDocletWriter, the vertical separator could be a constant in 
Contents.   Or (related discussion) would it be better to declare 
Content constants nearer their point of use?

The new class SystemPropertiesWriter.java doesn't have the scary warning 
in the top comment. We should either be consistent or have a discussion 
about whether we still need the scary comments.

-- Jon