Also, isn't isJavaDefived guaranteeing that it's a subclass of ClassfileAnnotation?