public void getChars(int where, int len, Segment txt) throws BadLocationException;
void getChars(int where, int len, Segment txt) throws BadLocationException;
        public void getChars(int where, int len, Segment txt) throws BadLocationException;