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