Thu Oct 13 04:29:04 EDT 2011中的EDT是什么

Thu Oct 13 04:29:04 EDT 2011是Date的toStirng的值，其中的EDT是什么东西，要怎么取得？

EDT只是一个时区名称的所写。
[code="java"]
Date date = new Date();
Calendar cal = Calendar.getInstance();
TimeZone zone = cal.getTimeZone();
System.out.println(zone.getDisplayName(zone.inDaylightTime(date), TimeZone.SHORT, Locale.US));
[/code]

java的时区代码

[code="java"]
String[] times = TimeZone.getAvailableIDs();
for ( String s : times )
{
System.out.println( s );
}
System.out.println( TimeZone.getDefault().getID() );
[/code]

别的办法没有了，推荐使用calendar类，Date的好多方法都过时了

Calendar c = Calendar.getInstance();
System.out.println(c.getTimeZone().getID());