presto-spi/src/main/java/io/prestosql/spi/type/TimeZoneKey.java/TimeZoneKey/getTimeZoneKey
class TimeZoneKey:    @JsonCreator
    public static TimeZoneKey getTimeZoneKey(short timeZoneKey)
    {
        checkArgument(timeZoneKey < TIME_ZONE_KEYS.length && TIME_ZONE_KEYS[timeZoneKey] != null, "Invalid time zone key %s", timeZoneKey);
        return TIME_ZONE_KEYS[timeZoneKey];
    }