if (positions != null) { updateUndoPositions(positions); positions = null; } undoString = null;
    public void undo()    {      super.undo();      try        {          StringContent.this.insertString(this.start, this.undoString);        }      catch (BadLocationException bad)        {          throw new CannotUndoException();        }    }