StringContent.this.checkLocation(this.start, this.length); this.redoContent = new String(StringContent.this.content, this.start, this.length); StringContent.this.remove(this.start, this.length);
if (marks != null) positions = getPositionsInRange(null, start, length); redoContent = getString(start, length); remove(start, length);
    public void undo()    {      super.undo();      try        {          StringContent.this.checkLocation(this.start, this.length);          this.redoContent = new String(StringContent.this.content, this.start,              this.length);          StringContent.this.remove(this.start, this.length);        }      catch (BadLocationException b)        {          throw new CannotUndoException();        }    }