documentFilter.remove(getBypass(), offset, length);
f.remove(getBypass(), offset, length); } finally { writeUnlock(); }
  public void remove(int offset, int length) throws BadLocationException  {    if (documentFilter == null)      removeImpl(offset, length);    else      documentFilter.remove(getBypass(), offset, length);  }