spring vertx update