public void replaceSelection(String content) { super.replaceSelection(content); }
public void replaceSelection(String content) { Caret caret = getCaret(); StyledDocument doc = getStyledDocument();  int dot = caret.getDot(); int mark = caret.getMark();   if (content == null) { caret.setDot(dot); return; }  try { int start = getSelectionStart(); int end = getSelectionEnd(); int contentLength = content.length();   if (dot != mark) doc.remove(start, end - start);   doc.insertString(start, content, null);  doc.setCharacterAttributes(start, contentLength, getInputAttributes(), true);   setCaretPosition(start + contentLength); } catch (BadLocationException e) { throw new AssertionError ("No BadLocationException should be thrown here"); } }
	public void replaceSelection(String content) {		super.replaceSelection(content); // TODO	} // replaceSelection()