Launcher.java

public class Launcher extends io.vertx.core.Launcher {
	public static void main(String[] args) {
		new Launcher().dispatch(args);
	}

	@Override
	public void beforeStartingVertx(VertxOptions options) {
		super.beforeStartingVertx(options);
		options.setMetricsOptions(new MicrometerMetricsOptions()
				.setPrometheusOptions(new VertxPrometheusOptions().setEnabled(true)).setEnabled(true));
	}
}