docs: public DateTimeFormatterBuilder appendTimeZoneShortName(Map<String, DateTimeZone> parseLookup) {
          TimeZoneName pp = new TimeZoneName(TimeZoneName.SHORT_NAME, parseLookup);
          return append0(pp, pp);
      }