code: public static String getTimeString(final ZonedDateTime self) {
          return self.format(DateTimeFormatter.ISO_LOCAL_TIME) + self.format(ZONE_SHORT_FORMATTER);
      }
docs: Formats this date/time with the {@link java.time.format.DateTimeFormatter#ISO_LOCAL_TIME} formatter
  and appends the zone's short name, e.g. {@code 14:34:55.144EST}.
  
  @param self a ZonedDateTime
  @return a formatted String
  @see java.time.format.DateTimeFormatter
  @since 2.5.0