idea update

diff --git a/.idea/misc.xml b/.idea/misc.xml
index 34bba6bdb9629ac136b97eda48b36da2528a5209..9594b8c3e03cd129e06b2d94be7867fd8c30e850 100644 (file)
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -36,6 +36,24 @@
     <option name="LOCALE" />\r
     <option name="OPEN_IN_BROWSER" value="true" />\r
   </component>\r
+  <component name="NullableNotNullManager">\r
+    <option name="myDefaultNullable" value="org.jetbrains.annotations.Nullable" />\r
+    <option name="myDefaultNotNull" value="org.jetbrains.annotations.NotNull" />\r
+    <option name="myNullables">\r
+      <value>\r
+        <list size="0" />\r
+      </value>\r
+    </option>\r
+    <option name="myNotNulls">\r
+      <value>\r
+        <list size="3">\r
+          <item index="0" class="java.lang.String" itemvalue="org.jetbrains.annotations.NotNull" />\r
+          <item index="1" class="java.lang.String" itemvalue="javax.annotation.Nonnull" />\r
+          <item index="2" class="java.lang.String" itemvalue="edu.umd.cs.findbugs.annotations.NonNull" />\r
+        </list>\r
+      </value>\r
+    </option>\r
+  </component>\r
   <component name="ProjectResources">\r
     <default-html-doctype>http://www.w3.org/1999/xhtml</default-html-doctype>\r
   </component>\r