@RequiresReadLock
  @Nullable
  Module getModuleForFile(@NotNull VirtualFile file, boolean honorExclusion);
@RequiresReadLock
  @Nullable
  Module getModuleForFile(@NotNull VirtualFile file, boolean honorExclusion)