vertx example