Hi Stephen,
As I said before that while I agree that these three short ids are kinda
of confusing
and understand the desire of removing them but I'm also concerned that
the fact
(1) these ids been in the available timezone ids from the j.u.TZ for a
long time
(2) these ids are defined in the
I've emailed the ThreeTen lists to ensure everyone knows about this.
To balance the points below, it should be noted that
(1) they've been deprecated in TimeZone for a long time
(2) their meaning has changed over time
(3) they lead to user bugs, where someone finds EST exists and thus
assumes