Late-breaking Java DST bug

Sun has a late-breaking DST bug which is not fixed by their previous patches. It only effects parsing of dates from date strings that embed 3-letter timezones, e.g.:

Date date = timestampFormatWithZone.parse("2007-06-06 14:00 EDT");

and then only in the EST zone for the US.