code: public Vertx getVertx() {
          if(vertx != null) {
              return vertx;
          }
  
          if(getComponent().getVertx() != null) {
              vertx = getComponent().getVertx();
          } else {
              vertx = Vertx.vertx();
          }
          return vertx;
      }
docs: Getters & setters