public String toString() {
      String prettyText = this.text.replace('\n', '\u00b6');
      return "Diff(" + this.operation + ",\"" + prettyText + "\")";
    }
Display a human-readable version of this Diff.

@return text version.
src/burp/Utils/diff_match_patch.java