code: public DateTimeFormatterBuilder appendTimeZoneShortName(Map<String, DateTimeZone> parseLookup) {
          TimeZoneName pp = new TimeZoneName(TimeZoneName.SHORT_NAME, parseLookup);
          return append0(pp, pp);
      }
docs: Instructs the printer to emit a short locale-specific time zone
  name, providing a lookup for parsing.
  Time zone names are not unique, thus the API forces you to supply the lookup.
  The names are searched in the order of the map, thus it is strongly recommended
  to use a {@code LinkedHashMap} or similar.
  
  @param parseLookup  the table of names, null to use the {@link DateTimeUtils#getDefaultTimeZoneNames() default names}
  @return this DateTimeFormatterBuilder, for chaining