[threeten-dev] old US time-zone names

[Xueming Shen]

Stephen,

I'm comparing the "older" US time-zone names defined in ZoneId and
in jdk's   make/sun/javazic/tzdata_jdk/jdk11_backward. It appears the
EST and MST are being mapped to different city name. jdk11_backward
picks the "golden" city name, which seems reasonable. Is there any
reference for ZoneId's pick? Just wonder whether we can consolidate
these two.

jdk11_backward:
EST    America/New_York
MST    America/Denver

ZoneId:
EST    America/Indianapolis
MST    America/Phoenix

There are other two, the Kolkats vs Calcutta and Saigon vs Ho_Chi_Minh,
the jdk11_backward picks the "old" names, which is being linked back
to the new names in backward file, so these two are not an issue.

-Sherman