presto-main/src/main/java/io/prestosql/execution/QueryManagerConfig.java/QueryManagerConfig/getRequiredWorkers
class QueryManagerConfig:    @Min(1)
    public int getRequiredWorkers()
    {
        return requiredWorkers;
    }