RFR: 8311968: Clarify Three-letter time zone IDs in java.util.TimeZone [v2]

[Naoto Sato]

On Thu, 13 Jul 2023 18:41:47 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.
>
> Justin Lu has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Review: update wording to include mappings

LGTM. Reviewed the CSR too

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

Marked as reviewed by naoto (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/14861#pullrequestreview-1529063574