title: Java TimeZone and shortcuts for time-zone names issue
body: <p>I have an linux application that presents time with time-zone in iOS-XR format:
  tech system clock status local-time-string "10:16:12.523 CDT Thu Mar 21 2013"</p>
  
  <p>I also see that the "CDT" shortcut is being used in the linux "zdump" output:</p>
  
  <blockquote>
    <p>zdump -v America/Havana | grep 2013
    America/Havana  Sun Mar 10 04:59:59 2013 UTC = Sat Mar  9 23:59:59 2013 CST isdst=0 gmtoff=-18000
    America/Havana  Sun Mar 10 05:00:00 2013 UTC = Sun Mar 10 01:00:00 2013 CDT isdst=1 gmtoff=-14400
    America/Havana  Sun Nov  3 04:59:59 2013 UTC = Sun Nov  3 00:59:59 2013 CDT isdst=1 gmtoff=-14400
    America/Havana  Sun Nov  3 05:00:00 2013 UTC = Sun Nov  3 00:00:00 2013 CST isdst=0 gmtoff=-18000</p>
  </blockquote>
  
  <p>but when I run "System.out.println(TimeZone.getTimeZone("CDT"));" Java command I get the GMT time zone...</p>
  
  <ol>
  <li>can anybody explain what is the criteria for the short-cuts existence in the Java timeZone object?</li>
  <li>where can I find an open-source code for converting time strings into "Date" objects... the current parser I'm using relays on Java Calendar, SimpleDateFormat and Date but since Java TimeZone does not recognize "CDT" it parses this string as it was a GMT time... </li>
  </ol>