public StyledDocument getStyledDocument() { return null; }
public StyledDocument getStyledDocument() { return (StyledDocument) super.getDocument(); }
	public StyledDocument getStyledDocument() {		return null; // TODO	} // getStyledDocument()