code: public void setTranslationArrayStandaloneShortMonthNames(String[] newTranslationArray) {
          if (newTranslationArray == null) {
              String[] defaultShortMonthNames
                  = ExtraDateStrings.getDefaultStandaloneShortMonthNamesForLocale(locale);
              this.translationArrayStandaloneShortMonthNames = defaultShortMonthNames;
          } else {
              this.translationArrayStandaloneShortMonthNames = newTranslationArray;
          }
          zDrawIndependentCalendarPanelIfNeeded();
      }
docs: setTranslationArrayStandaloneShortMonthNames, This sets an array of short month names to use
  for the calendar panel header, as translated to the current language. It is not expected that
  this variable will need to be changed by the programmer. The default values are generated
  using the locale of the settings instance, by retrieving the translated text for the current
  language from the class called java.text.DateFormatSymbols. This array is indexed with
  January = 0. The Calendar class month name constants can also be used for indexing.
  (Calendar.JANUARY, etc). Setting this to null will restore the default values.
  
  Expected array contents: The array should always have a length of 12. Each element should
  always contain a string that is not null and not empty.