update vertx