text = getString(where, text.length()); positions = getPositionsInRange(null, where, text.length());
    public void redo () throws CannotUndoException    {      super.redo();      try      {        remove(where, text.length());      }      catch (BadLocationException ble)      {        throw new CannotRedoException();      }    }