vertx sample service