public Style addStyle(String nm, Style parent) { return null; }
public Style addStyle(String nm, Style parent) { return getStyledDocument().addStyle(nm, parent); }
	public Style addStyle(String nm, Style parent) {		return null; // TODO	} // addStyle()