public void replaceText(String text, int start, int end) { replaceRange(text, start, end); }
public void replaceText (String str, int start, int end) { TextAreaPeer peer = (TextAreaPeer) getPeer ();  if (peer != null) peer.replaceRange (str, start, end); }
	public void replaceText(String text, int start, int end) {		replaceRange(text, start, end);	}