StringContent.this.insertString(this.start, this.redoContent);
insertString(start, redoContent); redoContent = null; if (positions != null) { updateUndoPositions(positions); positions = null; }
    public void redo()    {      super.redo();      try        {          StringContent.this.insertString(this.start, this.redoContent);        }      catch (BadLocationException b)        {          throw new CannotRedoException();        }    }