RFR: 8320788: The system properties page is missing some properties [v2]

[Naoto Sato]

On Tue, 9 Jan 2024 20:06:10 GMT, Roger Riggs <rriggs at openjdk.org> wrote:

>> src/java.base/share/classes/java/lang/System.java line 819:
>> 
>>> 817:      * <p>
>>> 818:      * Additional locale-related system properties defined by the
>>> 819:      * {@link Locale##default_locale Default Locale} section in the {@code Locale}
>> 
>> Is that "##" a typo? double pound signs usually leads to the top of the page. I see PR 17065 also had "##" for links to default_locale.
>
> The "##" refers to a normal html tag or id in the target page.  A single "#" refers to a javadoc defined method or field.

Thanks, Joe. As Roger mentioned, the `##` can be used for user-defined anchors since JDK20 ( https://bugs.openjdk.org/browse/JDK-8294195)

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

PR Review Comment: https://git.openjdk.org/jdk/pull/17317#discussion_r1446723242