void (final VirtualFile file) { if (SKIP_INDEX_REPAIR_ON_ERROR) return; Set<VirtualFile> set = myFilesHavingProblems.get(); if (set == null) { myFilesHavingProblems.set(set = new HashSet<>()); } set.add(file); }