vertx working