hg: jdk/sandbox: 8235238: Parsing a time string ignores any custom TimeZoneNameProvider

[chris.hegarty at oracle.com]

Changeset: ac372709206e
Author:    naoto
Date:      2019-12-13 08:17 -0800
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/ac372709206e

8235238: Parsing a time string ignores any custom TimeZoneNameProvider
Reviewed-by: joehw, rriggs

! src/java.base/share/classes/java/time/format/DateTimeFormatterBuilder.java
+ test/jdk/java/time/nontestng/java/time/zone/CustomZoneNameTest.java
+ test/jdk/java/time/nontestng/java/time/zone/zoneProvider/META-INF/services/java.time.zone.ZoneRulesProvider
+ test/jdk/java/time/nontestng/java/time/zone/zoneProvider/META-INF/services/java.util.spi.TimeZoneNameProvider
+ test/jdk/java/time/nontestng/java/time/zone/zoneProvider/custom/CustomTimeZoneNameProvider.java
+ test/jdk/java/time/nontestng/java/time/zone/zoneProvider/custom/CustomZoneRulesProvider.java