if (replace) inputAttributes.removeAttributes(inputAttributes);
	public void setCharacterAttributes(AttributeSet attribute,                                     boolean replace)  {    int dot = getCaret().getDot();    int start = getSelectionStart();    int end = getSelectionEnd();    if (start == dot && end == dot)      // There is no selection, update insertAttributes instead      {	MutableAttributeSet inputAttributes =	  getStyledEditorKit().getInputAttributes();	inputAttributes.addAttributes(attribute);      }    else      getStyledDocument().setCharacterAttributes(start, end - start, attribute,						 replace);  }