We don't need to set a global vertx. This is done for us.