docs: public synchronized String getText() {
          StringBuilder bob = new StringBuilder(lines.get(0));
          for(int i = 1; i < lines.size(); i++) {
              bob.append("\n").append(lines.get(i));
          }
          return bob.toString();
      }