Annotation option 'mustBeDocumented': definition, mapping from Kotlin to Java Documented and back, tests

compiler/testData/diagnostics/tests/annotations/options/javaDocumented.kt

@@ -0,0 +1,20 @@
+// FILE: DocumentedAnnotations.java
+
+import java.lang.annotation.*;
+
+public class DocumentedAnnotations {
+
+    @Documented public @interface DocAnn;
+
+    public @interface NotDocAnn;
+
+    @Documented @Retention(RetentionPolicy.RUNTIME) public @interface RunDocAnn;
+}
+
+// FILE: DocumentedAnnotations.kt
+
+DocumentedAnnotations.DocAnn class My
+
+DocumentedAnnotations.NotDocAnn class Your
+
+DocumentedAnnotations.RunDocAnn class His