<i18n dev> RFR: 8349200: [JMH] time.format.ZonedDateTimeFormatterBenchmark fails

[SendaoYan]

Hi all,
The JMH test "org.openjdk.bench.java.time.format.ZonedDateTimeFormatterBenchmark.parse" fails "java.time.format.DateTimeParseException: Text '2015:03:10:12:13:ECT' could not be parsed at index 17".
The `ECT` standard for "America/Guayaquil" - "Ecuador Time", and since jdk23 the `ECT` TimeZone.SHORT doesn't support anymore. Below code snippet shows the difference between jdk22 and jdk23:


        TimeZone tz = TimeZone.getTimeZone("America/Guayaquil");
        System.out.println(tz.getDisplayName());
        System.out.println(tz.getDisplayName(true, TimeZone.SHORT));
        System.out.println(tz.getDisplayName(false, TimeZone.SHORT));


- Java 22 output:


~/software/jdk/temurin/jdk-22.0.2+9/bin/java ~/compiler-test/zzkk/TimeZoneTest.java 
Ecuador Time
ECST
ECT


- Java 23 output:


~/software/jdk/temurin/jdk-23+37/bin/java ~/compiler-test/zzkk/TimeZoneTest.java 
Ecuador Time
GMT-04:00
GMT-05:00


This PR use `Z` TimeZone.SHORT instead of `ECT` will make this test more generic. Change has been verified locally, test-fix only, no risk.

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

Commit messages:
 - 8349200: [JMH] time.format.ZonedDateTimeFormatterBenchmark fails

Changes: https://git.openjdk.org/jdk/pull/23414/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=23414&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8349200
  Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 mod
  Patch: https://git.openjdk.org/jdk/pull/23414.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/23414/head:pull/23414

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