docs: public DomainResource addExtension(Extension t) { //3
        if (t == null)
          return this;
        if (this.extension == null)
          this.extension = new ArrayList<Extension>();
        this.extension.add(t);
        return this;
      }