othersrc/JCLMin1.8/src/java/lang/Deprecated.java

package java.lang;
import java.lang.annotation.*;
@Documented
@Retention(RetentionPolicy.RUNTIME)
public @interface Deprecated {
}