added vertx require file