use vertx api