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