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