docs: public String getShortName(Locale locale, String id, String nameKey, boolean standardTime) {
          String[] nameSet = getNameSet(locale, id, nameKey, standardTime);
          return nameSet == null ? null : nameSet[0];
      }