Часовой пояс Java - странное поведение с IST?
У меня есть код ниже:
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"));
Предполагая, что я теперь установил часовой пояс моего компьютера на Тихоокеанское время (UTC-7 для PDT), это напечатает
Fri Jun 29 08:15:00 PDT 2012
Разве PDT на 12,5 часа не отстает от IST (индийского стандартного времени)? Эта проблема не возникает для любого другого часового пояса - я попробовал UTC, PKT, MMT и т. Д. Вместо IST в строке даты. Есть ли в Java два IST случайно?
P.S: Строка даты в фактическом коде взята из внешнего источника, поэтому я не могу использовать смещение по Гринвичу или любой другой формат часового пояса.