bug in jdk/jre 1.4.2_13, 1.5.0_11, 1.6

Hi everyone, there is a bug in the jdk/jre 1.4.2_13 that is supposed to take care of the DST change. Details and workaround here.