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