question about time zones

[Tom Tromey]

I notice that the timezones.pl script doesn't read the `backward' file
which maps old timezone names onto the new names.

Is there a reason we don't support the old names?  I notice that using
`US/Mountain' as the timezone work on my Linux box.  Why shouldn't it
work in Classpath too?  I personally tend to prefer the old forms
since they are what I remember...

I haven't looked to see if the JDK supports the old names.  Does
anybody know offhand?

Tom