public void appendText(String text) { append(text); }
public void appendText (String str) { TextAreaPeer peer = (TextAreaPeer) getPeer ();  if (peer != null) peer.insert (str, peer.getText().length ()); }
	public void appendText(String text) {		append(text);	}