RFR: 8299836: Make `user.timezone` system property searchable

[Naoto Sato]

On Mon, 9 Jan 2023 23:59:19 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.

src/java.base/share/classes/java/util/TimeZone.java line 634:

> 632:      *
> 633:      * <ul>
> 634:      * <li>Use the {@systemProperty user.timezone} property value as the default

I'd only modify this location and keep others intact. Otherwise, the search would show all locations which may not best serve the user's needs.

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

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