code: public static long parseTimestampWithTimeZone(TimeZoneKey timeZoneKey, String timestampWithTimeZone)
      {
          DateTime dateTime = TIMESTAMP_WITH_OR_WITHOUT_TIME_ZONE_FORMATTER.withChronology(getChronology(timeZoneKey)).withOffsetParsed().parseDateTime(timestampWithTimeZone);
          return packDateTimeWithZone(dateTime);
      }
docs: Parse a string (optionally containing a zone) as a value of TIMESTAMP WITH TIME ZONE type.
  If the string doesn't specify a zone, it is interpreted in {@code timeZoneKey} zone.
  <p>
  For example: {@code "2000-01-01 01:23:00"} is parsed to TIMESTAMP WITH TIME ZONE
  {@code 2000-01-01T01:23:00 <provided zone>} and {@code "2000-01-01 01:23:00 +01:23"}
  is parsed to TIMESTAMP WITH TIME ZONE {@code 2000-01-01T01:23:00.000+01:23}.
  
  @return stack representation of TIMESTAMP WITH TIME ZONE type