benchmarks/other/PhoneInterface/Control/.idea/misc.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <project version="4">
   3   <component name="NullableNotNullManager">
   4     <option name="myDefaultNullable" value="android.support.annotation.Nullable" />
   5     <option name="myDefaultNotNull" value="android.support.annotation.NonNull" />
   6     <option name="myNullables">
   7       <value>
   8         <list size="4">
   9           <item index="0" class="java.lang.String" itemvalue="org.jetbrains.annotations.Nullable" />
  10           <item index="1" class="java.lang.String" itemvalue="javax.annotation.Nullable" />
  11           <item index="2" class="java.lang.String" itemvalue="edu.umd.cs.findbugs.annotations.Nullable" />
  12           <item index="3" class="java.lang.String" itemvalue="android.support.annotation.Nullable" />
  13         </list>
  14       </value>
  15     </option>
  16     <option name="myNotNulls">
  17       <value>
  18         <list size="4">
  19           <item index="0" class="java.lang.String" itemvalue="org.jetbrains.annotations.NotNull" />
  20           <item index="1" class="java.lang.String" itemvalue="javax.annotation.Nonnull" />
  21           <item index="2" class="java.lang.String" itemvalue="edu.umd.cs.findbugs.annotations.NonNull" />
  22           <item index="3" class="java.lang.String" itemvalue="android.support.annotation.NonNull" />
  23         </list>
  24       </value>
  25     </option>
  26   </component>
  27   <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
  28     <output url="file://$PROJECT_DIR$/build/classes" />
  29   </component>
  30   <component name="ProjectType">
  31     <option name="id" value="Android" />
  32   </component>
  33 </project>