Fix after API changes in Vertx master