public abstract void setText (CharacterIterator newText);
public void setText (String newText) { setText (new StringCharacterIterator (newText)); }
  public abstract void setText (CharacterIterator newText);