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