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

[Pavel Rappo]

Hannes, Jon, Roger,

Thanks for looking at it. I've created a follow-up issue (Enhancement/P3/15) capturing all of the concerns so far. As usual, feel free to update it:

    https://bugs.openjdk.java.net/browse/JDK-8235827

@Jon, I added the "scary warning" to the top comment. As for the "vertical separator", I decided not to touch it right now. The "|" separator is used in navbar too. There's a possibility of reuse. We should refactor it separately.

-Pavel

> On 11 Dec 2019, at 17:26, Pavel Rappo <pavel.rappo at oracle.com> 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
>