Java の SimpleDateFormat は「Jun」でも「June」でも Parse してくれる

SimpleDateFormatで「MMM」を指定すると、月の書き方が短縮系でもそうでなくてもParseしてくれる。

コード

public static void main(String[] args) throws Exception {

    {
        SimpleDateFormat sdf = new SimpleDateFormat("dd-MMM-yyyy", Locale.ENGLISH);
        System.err.println(sdf.parse("01-June-2020"));// OK
    }
    {
        SimpleDateFormat sdf = new SimpleDateFormat("dd-MMM-yyyy", Locale.ENGLISH);
        System.err.println(sdf.parse("01-Jun-2020"));// OK
    }
    {
        SimpleDateFormat sdf = new SimpleDateFormat("dd-MMM-yyyy", Locale.ENGLISH);
        System.err.println(sdf.parse("01-September-2020"));// OK
    }
    {
        SimpleDateFormat sdf = new SimpleDateFormat("dd-MMM-yyyy", Locale.ENGLISH);
        System.err.println(sdf.parse("01-Sep-2020")); // OK
    }
    {
        SimpleDateFormat sdf = new SimpleDateFormat("dd-MMM-yyyy", Locale.ENGLISH);
        System.err.println(sdf.parse("01-Sept-2020")); // NG
    }

}

結果

Mon Jun 01 00:00:00 JST 2020
Mon Jun 01 00:00:00 JST 2020
Tue Sep 01 00:00:00 JST 2020
Tue Sep 01 00:00:00 JST 2020
Exception in thread "main" java.text.ParseException: Unparseable date: "01-Sept-2020"
    at java.text.DateFormat.parse(DateFormat.java:366)
    at hello.date.HelloSimpleDateFormat2.main(HelloSimpleDateFormat2.java:28)