June 6, 2019
9:25 a.m.
On Wed, 5 Jun 2019 at 21:41, Paul Eggert <eggert@cs.ucla.edu> wrote:
See the example at the end of this email, where OpenJDK 12 says that local time should be called "GMT" / "Greenwich Mean Time" in Ireland on January 1, 1970, which is obviously wrong as Irish clocks were one hour ahead of UTC then (and Java gets the UTC offset right) and nobody on the ground then would have called that time "GMT".
Java has never provided accurate time zone names for historic times. I doubt any system does (not counting tzdb because the zone names are being systematically destroyed in tzdb). I'd also suggest that there would be limited demand for this, and it would be a lot of work. Stephen