[tz] Problem with some timezone data from 2023 w/ Java SimpleTimeZone