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

[Justin Lu]

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.

This pull request has now been integrated.

Changeset: 437d69a2
Author:    Justin Lu <justin.lu at oracle.com>
Committer: Naoto Sato <naoto at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/437d69a220a8615f845013e0b495c5b47d945698
Stats:     2 lines in 1 file changed: 0 ins; 0 del; 2 mod

8299836: Make `user.timezone` system property searchable

Reviewed-by: jpai, naoto

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

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