updated vertx version