finishEdit(ev);
    public void change(int offset, int length, DefaultDocumentEvent ev)        {      if (length == 0)        return;      this.offset = offset;      this.pos = offset;      this.length = length;      documentEvent = ev;      changeUpdate();    }