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

[Naoto Sato]

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 parsing.

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

Commit messages:
 - initial commit

Changes: https://git.openjdk.org/jdk/pull/17187/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=17187&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8322647
  Stats: 94 lines in 3 files changed: 72 ins; 2 del; 20 mod
  Patch: https://git.openjdk.org/jdk/pull/17187.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/17187/head:pull/17187

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