othersrc/JCLMin1.8/src/java/lang/annotation/Documented.java

package java.lang.annotation;
@Documented
@Retention(RetentionPolicy.RUNTIME)
@Target(ElementType.ANNOTATION_TYPE)
public @interface Documented {
}