public Position createPosition(int offset) throws BadLocationException;
Position createPosition(int offset) throws BadLocationException;
        public Position createPosition(int offset) throws BadLocationException;