diff --git a/platform/lang-api/src/com/intellij/codeInspection/FileCheckingInspection.java b/platform/lang-api/src/com/intellij/codeInspection/FileCheckingInspection.java
index a001956df715..c9d99366dc8c 100644
--- a/platform/lang-api/src/com/intellij/codeInspection/FileCheckingInspection.java
+++ b/platform/lang-api/src/com/intellij/codeInspection/FileCheckingInspection.java
@@ -17,6 +17,7 @@
 package com.intellij.codeInspection;
 
 import com.intellij.psi.PsiFile;
+import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 
 /**
@@ -24,5 +25,5 @@ import org.jetbrains.annotations.Nullable;
  */
 public interface FileCheckingInspection {
   @Nullable
-  ProblemDescriptor[] checkFile(PsiFile file, InspectionManager manager, boolean isOnTheFly);
+  ProblemDescriptor[] checkFile(@NotNull PsiFile file, @NotNull InspectionManager manager, boolean isOnTheFly);
 }