Fix due to API changes in vertx master