void insertString(int offset, String str, AttributeSet a);
void insertString(int offset, String str, AttributeSet a) throws BadLocationException;
  void insertString(int offset, String str, AttributeSet a);