Understand [what this change](https://github.com/jspecify/checker-framework/blame/2eea6f8242391624def3818289abc44c1ec4ae0b/framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileElementTypes.java#L385) achieved and see whether it is still necessary. If it is, find a way to upstream.