java 时区 edt_时区EST与EST5EDT有何不同？

EST5EDT的EST有何不同？ EST不考虑DST吗？

我写了一个小的java片段来弄清楚差异和输出说EST5EDT考虑到DST，而EST没有

SimpleDateFormat dateFormat = new SimpleDateFormat("yyyy-MMM-dd HH:mm:ss.SSS");

dateFormat.setTimeZone(TimeZone.getTimeZone("EST5EDT"));

System.out.println("EST5EDT" +dateFormat.format(new Date()));

/* prints EST5EDT2013-Apr-05 02:24:16.471 */

dateFormat = new SimpleDateFormat("yyyy-MMM-dd HH:mm:ss.SSS");

dateFormat.setTimeZone(TimeZone.getTimeZone("EST"));

System.out.println("EST "+dateFormat.format(new Date()));

/*prints EST 2013-Apr-05 01:24:16.472 */

但下面的片段产生令人震惊的输出

System.out.println("EST5EDT offset "+TimeZone.getTimeZone("EST5EDT").getRawOffset()/(60*60*1000));

/* prints 5 instead of 4 (DST) */

有人可以解释这里究竟发生了什么吗？为什么getRawOffset返回5而不是4？如何用DST获得时区偏移？