return buf.substring(where, where+len);
Segment seg = new Segment(); getChars(where, len, seg); return new String(seg.array, seg.offset, seg.count);
    public String getString(int where, int len) throws BadLocationException    {    return buf.substring(where, where+len);    }