public String getString(int where, int len) throws BadLocationException;
String getString(int where, int len) throws BadLocationException;
        public String getString(int where, int len) throws BadLocationException;