@Override public void remove(final int offs, final int len) throws BadLocationException { checked = false; super.remove(offs, len); }