vert.x - quarkus-vertx eventBus ClusterManager オプションを変更する方法

Question

Quarkus で hazelcast-kubernetes を使用して、k8s で vertx を構成したいと考えています。

次のようにイベントバスを構成する必要があります。

Config config = new Config();
config.getNetworkConfig().getJoin().getMulticastConfig().setEnabled(false);
            config.getNetworkConfig().getJoin().getKubernetesConfig().setEnabled(true)
                    .setProperty("namespace", "services")
                    .setProperty("service-name", "hazelcast-services");

ClusterManager mgr = new HazelcastClusterManager(config);
VertxOptions options= new VertxOptions();
options.setClusterManager(mgr);

カスタム構成された VertxOptions を Quarkus-vertx に渡す方法は?

VertxCoreRecorderクラスにパラメーターがあることがわかりましたが、独自の実装List<Consumer<VertxOptions>>を作成して渡す方法がわかりません。Consumer<VertxOptions>