If an element is annotated with an annotation type whose retention policy is anything other than RUNTIME *at run time*, the spec says that it should be ignored. Currently, it is the case that if an annotation type has a retention policy of RUNTIME when an annotated element is compiled, and the retention policy is changed prior to run time, the annotation can be read at run time (see line 77 of AnnotationParser.java).