update vertx spring example