public void setStyledDocument(StyledDocument document) {  }
public void setStyledDocument(StyledDocument document) { super.setDocument(document); }
	public void setStyledDocument(StyledDocument document) {		// TODO	} // setStyledDocument()