test external annotations

libraries/tools/kotlin-gradle-plugin/src/test/resources/testProject/AndroidAlfaProject/AndroidAlfa/build.gradle

@@ -21,6 +21,10 @@ android {
     compileSdkVersion 17
     buildToolsVersion "17.0.0"
 
+    kotlinOptions {
+        annotations = "kotlinAnnotations"
+    }
+
     defaultConfig {
         minSdkVersion 7
         targetSdkVersion 16

libraries/tools/kotlin-gradle-plugin/src/test/resources/testProject/AndroidAlfaProject/AndroidAlfa/src/main/kotlin/org/jetbrains/kotlin/gradle/test/androidalfa/MainActivity2.kt

@@ -26,7 +26,7 @@ open class MainActivity2: Activity() {
 
     public override fun onCreateOptionsMenu(menu: Menu?): Boolean {
         // Inflate the menu; this adds items to the action bar if it is present.
-        getMenuInflater()?.inflate(R.menu.main_activity2, menu);
+        getMenuInflater().inflate(R.menu.main_activity2, menu);
         return true
     }
     

libraries/tools/kotlin-gradle-plugin/src/test/resources/testProject/AndroidAlfaProject/kotlinAnnotations/android/app/annotations.xml

@@ -0,0 +1,5 @@
+<root>
+    <item name='android.app.Activity android.view.MenuInflater getMenuInflater()'>
+        <annotation name='org.jetbrains.annotations.NotNull'/>
+    </item>
+</root>