Fixed the vertx version