docs: public StringType addPrefixElement() {//2 
        StringType t = new StringType();
        if (this.prefix == null)
          this.prefix = new ArrayList<StringType>();
        this.prefix.add(t);
        return t;
      }