I wanted to print "20130925 050054 America/New_York" from DateFormat, I am using the following code to print that but instead it prints "20130925 050054 PDT". I am wondering, if "zzz" can be changed to print full name, "America/New_York"?
DateFormat df = new SimpleDateFormat("yyyyMMdd HHmmss zzz");
df.setTimeZone(timeZoneFromConfigFile);
String startDate=df.format(c.getTime());