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