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

[Naoto Sato]

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

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

Commit messages:
 - Backport ad31ec5c5f120082cedd7b9ece45b6b44147c0c5

Changes: https://git.openjdk.org/jdk22/pull/30/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk22&pr=30&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/jdk22/pull/30.diff
  Fetch: git fetch https://git.openjdk.org/jdk22.git pull/30/head:pull/30

PR: https://git.openjdk.org/jdk22/pull/30