Ich habe den folgenden Code:

DateFormat df = new SimpleDateFormat("M/d/yy h:mm a z");
df.setLenient(false);
System.out.println(df.parse("6/29/2012 5:15 PM IST"));

Angenommen, ich stelle jetzt die Zeitzone meines PCs auf Pacific Time (UTC-7 für PDT) ein, wird dies gedruckt

Fri Jun 29 08:15:00 PDT 2012

Ist PDT nicht 12,5 Stunden hinter IST (Indian Standard Time)? Dieses Problem tritt bei keiner anderen Zeitzone auf - ich habe UTC, PKT, MMT usw. anstelle von IST in der Datumszeichenfolge verwendet. Gibt es zufällig zwei ISTs in Java?

PS: Die Datumszeichenfolge im aktuellen Code stammt von einer externen Quelle, daher kann ich weder GMT-Offset noch ein anderes Zeitzonenformat verwenden.