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

[Naoto Sato]

On Thu, 13 Jul 2023 22:43:27 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:
> 
>   Need only link to SHORT_IDS, mentioning tzdb beyond scope

Marked as reviewed by naoto (Reviewer).

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

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