Update vertx.json