adding vertx-cast