Java时区-IST的异常行为？

抱歉，我必须为此写一个答案，但是尝试下面的代码：

public class Test {    public static void main(String[] args) throws ParseException {        DF df = new DF("M/d/yy h:mm a z");        String [][] zs = df.getDateFormatSymbols().getZoneStrings();        for( String [] z : zs ) { System.out.println( Arrays.toString( z ) );        }    }    private static class DF extends SimpleDateFormat {        @Override        public DateFormatSymbols getDateFormatSymbols() { return super.getDateFormatSymbols();        }        public DF(String pattern) { super(pattern);        }    }}

您会发现IST在列表中出现了几次，而第一个确实是以色列标准时间。