@Override
    public void elementMarkChanged(FileTypeRef element, boolean isMarked) {
      FILE_TYPE_CHANGED_EVENT.log(element.getName(), isMarked);
    }
@Override
    public void elementMarkChanged(FileTypeRef element, boolean isMarked)