update spring vertx example