public AttributeSet getCharacterAttributes() { return null; }
public AttributeSet getCharacterAttributes() { StyledDocument doc = getStyledDocument(); Element el = doc.getCharacterElement(getCaretPosition()); return el.getAttributes(); }
	public AttributeSet getCharacterAttributes() {		return null; // TODO	} // getCharacterAttributes()