public int getVerticleCount(VerticleType verticleType) {
        // If the field is set as "auto", then number of verticles == number of cores
        // TODO should be decent default choice, but should benchmark to find optimum.
        // See: VertxOptions
        if ("auto".equalsIgnoreCase(getVerticleConfig(verticleType.name()).getValue(VERTICLE_COUNT).toString())) {
            return Runtime.getRuntime().availableProcessors();
        }
        return getValueAsInteger(getVerticleConfig(verticleType.name()), VERTICLE_COUNT, 1);
    }
@see io.apiman.gateway.engine.IEngineConfig#getGatewayInitializers(io.apiman.gateway.engine.IPluginRegistry)
gateway/platforms/vertx3/vertx3/src/main/java/io/apiman/gateway/platforms/vertx3/common/config/VertxEngineConfig.java