sync with vertx