code: public String getText() {
          if(text == null) {
              StringBuilder sb = new StringBuilder(length());
              for(SEG seg: segments)
                  sb.append(segmentOps.getText(seg));
              text = sb.toString();
          }
          return text;
      }
docs: Returns the plain text content of this paragraph,
  not including the line terminator.