Update Vertx version