if (txt != null) {
  public void getChars(int where, int len, Segment txt) throws BadLocationException  {    checkLocation(where, len);    if (txt != null)      {        txt.array = this.content;        txt.offset = where;        txt.count = len;      }  }