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

[Naoto Sato]

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.

src/java.base/share/classes/java/util/TimeZone.java line 133:

> 131:  * for multiple time zones (for example, "CST" could be U.S. "Central Standard
> 132:  * Time" and "China Standard Time"), and the Java platform can then only
> 133:  * recognize one of them. The full list of the deprecated IDs can be viewed

"deprecated IDs and their mappings" may read better, as SHORT_IDS is a map

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

PR Review Comment: https://git.openjdk.org/jdk/pull/14861#discussion_r1262923761