DateFormat から "20130925 050054 America/New_York" を印刷したかったのですが、次のコードを使用して印刷していますが、代わりに "20130925 050054 PDT" を印刷しています。「zzz」をフルネーム「America/New_York」に変更できるかどうか疑問に思っています。
DateFormat df = new SimpleDateFormat("yyyyMMdd HHmmss zzz");
df.setTimeZone(timeZoneFromConfigFile);
String startDate=df.format(c.getTime());