modify vertx core