RFR: 8299836: Make `user.timezone` system property searchable [v2]

Tue Jan 10 16:58:04 UTC 2023

On Tue, 10 Jan 2023 00:46:35 GMT, Justin Lu <duke at openjdk.org> wrote:

>> The system property _user.timezone_ is specified in the _TimeZone.getDefault()_ and _TimeZone.setDefault()_  methods. The javadoc search box should be able to match on the system property name.
>> 
>> This change replaces the **@code** tag with the **@systemProperty** tag for instances of _user.timezone_ when appropriate.
>
> Justin Lu has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Toggle first instance as a system property, revert rest

LGTM. Thanks for the fix.

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

Marked as reviewed by naoto (Reviewer).

PR: https://git.openjdk.org/jdk/pull/11915