diff --git a/idea/src/org/jetbrains/jet/plugin/stubindex/JetSourceFilterScope.java b/idea/src/org/jetbrains/jet/plugin/stubindex/JetSourceFilterScope.java index cb231740526..964c426e63d 100644 --- a/idea/src/org/jetbrains/jet/plugin/stubindex/JetSourceFilterScope.java +++ b/idea/src/org/jetbrains/jet/plugin/stubindex/JetSourceFilterScope.java @@ -32,13 +32,13 @@ public class JetSourceFilterScope extends DelegatingGlobalSearchScope { private final ProjectFileIndex myIndex; - private JetSourceFilterScope(@NotNull final GlobalSearchScope delegate) { + private JetSourceFilterScope(@NotNull GlobalSearchScope delegate) { super(delegate); myIndex = ProjectRootManager.getInstance(getProject()).getFileIndex(); } @Override - public boolean contains(final VirtualFile file) { + public boolean contains(VirtualFile file) { if (!super.contains(file)) { return false; }