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