void (@NotNull List<? extends VFileEvent> events) { for (VFileEvent event : events) { if (event instanceof VFilePropertyChangeEvent && ((VFilePropertyChangeEvent)event).isRename()) { VirtualFile file = event.getFile(); if (file instanceof NewVirtualFile) { int id = ((NewVirtualFile)file).getId(); myNonIgnoredIds.clear(id); } } } }