void (@NotNull List<? extends @NotNull VFileEvent> events) { for (VFileEvent event : events) { VirtualFile file = event.getFile(); if (file != null) { if (!file.isDirectory() && isModuleFile(file.getName()) || event instanceof VFileDeleteEvent || //ensure inc when directory with MANIFEST.MF was deleted event instanceof VFilePropertyChangeEvent && //ensure inc when directory with MANIFEST.MF was renamed or manifest was renamed to a new name VirtualFile.PROP_NAME.equals(((VFilePropertyChangeEvent)event).getPropertyName())) { incModificationCount(); break; } } } }