finishEdit(ev);
    public void remove(int offs, int len, DefaultDocumentEvent ev)    {      if (len == 0)        return;      offset = offs;      length = len;      pos = offset;      documentEvent = ev;      removeUpdate();    }