bugpattern for scoping annotations on interfaces or abstract classes