upgrade vertx version