@Override
      public void after(@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;
            }
          }
        }
      }
@Override
      public void after(@NotNull List<? extends @NotNull VFileEvent> events)