public void set12ShortMonthNamesToDefault()
None
The short month names are Jan, Feb, Mar, and so on.
get12ShortMonthNames(), set12ShortMonthNames()