Merge remote-tracking branch 'aosp/upstream-master' into merge

1 files changed, 4 insertions, 2 deletions

diff --git a/platform/lang-impl/src/com/intellij/psi/stubs/StubIndexState.java b/platform/lang-impl/src/com/intellij/psi/stubs/StubIndexState.java
index 53785b7b6fda..2acd63308b48 100644
--- a/platform/lang-impl/src/com/intellij/psi/stubs/StubIndexState.java
+++ b/platform/lang-impl/src/com/intellij/psi/stubs/StubIndexState.java
@@ -19,6 +19,8 @@
  */
 package com.intellij.psi.stubs;
 
+import org.jetbrains.annotations.NotNull;
+
 import java.util.ArrayList;
 import java.util.Collection;
 import java.util.List;
@@ -29,9 +31,9 @@ public class StubIndexState {
   public StubIndexState() {
   }
 
-  public StubIndexState(Collection<StubIndexKey<?, ?>> keys) {
+  public StubIndexState(@NotNull Collection<StubIndexKey<?, ?>> keys) {
     for (StubIndexKey key : keys) {
       registeredIndices.add(key.toString());
     }
   }
-}
\ No newline at end of file
+}