public void insertText(String text, int pos) { insert(text, pos); }
public void insertText (String str, int pos) { TextAreaPeer peer = (TextAreaPeer) getPeer ();  if (peer != null) peer.insert (str, pos); }
	public void insertText(String text, int pos) {		insert(text, pos);	}