presto-hive/src/main/java/io/prestosql/plugin/hive/HiveSplit.java/HiveSplit/getBucketNumber
class HiveSplit:    @JsonProperty
    public OptionalInt getBucketNumber()
    {
        return bucketNumber;
    }