RFR: 8322647: Short name for the `Europe/Lisbon` time zone is incorrect

[Naoto Sato]

On Fri, 22 Dec 2023 18:59:20 GMT, Naoto Sato <naoto at openjdk.org> wrote:

> This is a regression caused by the fix to [JDK-8317979](https://bugs.openjdk.org/browse/JDK-8317979), where the parsing of TZDB files was incorrect. With this fix, `TimeZoneNames_en.java` which is generated during the build time has the following diffs from the previous (incorrect) one:
> 
> --- master/build/macosx-aarch64/support/gensrc/java.base/sun/util/resources/cldr/TimeZoneNames_en.java	2023-12-18 10:28:57
> +++ tz/build/macosx-aarch64/support/gensrc/java.base/sun/util/resources/cldr/TimeZoneNames_en.java	2023-12-22 10:09:13
> @@ -304,11 +304,11 @@
>              };
>          final String[] Azores = new String[] {
>                 "Azores Standard Time",
> -               "HMT",
> +               "",
>                 "Azores Summer Time",
> -               "HMT",
> +               "",
>                 "Azores Time",
> -               "HMT",
> +               "",
>              };
>          final String[] Bhutan = new String[] {
>                 "Bhutan Time",
> @@ -968,11 +968,11 @@
>              };
>          final String[] Africa_Central = new String[] {
>                 "Central Africa Time",
> -               "SAST",
> -               "",
> -               "SAST",
> +               "CAT",
>                 "",
> -               "SAST",
> +               "CAT",
> +               "",
> +               "CAT",
>              };
>          final String[] Africa_Eastern = new String[] {
>                 "East Africa Time",
> @@ -1016,11 +1016,11 @@
>              };
>          final String[] Europe_Western = new String[] {
>                 "Western European Standard Time",
> -               "FMT",
> -               "Western European Summer Time",
> -               "FMT",
> +               "WET",
> +               "Western European Summer Time",
> +               "WEST",
>                 "Western European Time",
> -               "FMT",
> +               "WET",
>              };
>          final String[] Mexico_Pacific = new String[] {
>                 "Mexican Pacific Standard Time",
> @@ -1152,11 +1152,11 @@
>              };
>          final String[] Australia_Western = new String[] {
>                 "Australian Western Standard Time",
> -               "",
> +               "AWST",
>                 "Australian Western Daylight Time",
> -               "",
> +               "AWDT",
>                 "Western Australia Time",
> -               "",
> +               "AWT",
>              };
>          final String[] Greenland_Eastern = new String[] {
>                 "East Greenland Standard Time",
> 
> Previously, they all had wrong short names due to incorrect parsi...

Thanks for the reviews!

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

PR Comment: https://git.openjdk.org/jdk/pull/17187#issuecomment-1877474644