Integrated: 8311968: Clarify Three-letter time zone IDs in java.util.TimeZone

[Justin Lu]

On Thu, 13 Jul 2023 06:34:09 GMT, Justin Lu <jlu at openjdk.org> wrote:

> Please review this PR and associated [CSR](https://bugs.openjdk.org/browse/JDK-8311979) which links the full list of deprecated three-letter IDs in java.util.TimeZone
> 
> Although it is made apparent in TimeZone that certain 3-letter IDs are deprecated, it does not actually list them in the specification. In addition to linking the full list, it is clarified that not _all_ 3-letter IDs are deprecated, as there are quite a few that come from the tzdb.
> 
> This change links to the full list found in ZoneId.

This pull request has now been integrated.

Changeset: 6a09992d
Author:    Justin Lu <jlu at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/6a09992dbd957daac2d5197a9ef8ab4975ddeaa4
Stats:     2 lines in 1 file changed: 0 ins; 0 del; 2 mod

8311968: Clarify Three-letter time zone IDs in java.util.TimeZone

Reviewed-by: naoto, lancea

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

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