getDocument().getText(p0, p1 - p0, txt);
getDocument().getText(p0, p1 - p0, cached);
  public Segment getText(int p0, int p1)  {    Segment txt = new Segment();    try      {        getDocument().getText(p0, p1 - p0, txt);      }    catch (BadLocationException ex)      {	AssertionError ae;        ae = new AssertionError("BadLocationException should not be "                                 + "thrown here. p0 = " + p0 + ", p1 = " + p1);	ae.initCause(ex);	throw ae;      }    return txt;  }