On Mon, 9 Jan 2023 23:59:19 GMT, Justin Lu <d...@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
