mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-09 19:24:36 +07:00
Replaces it by non-null becaus not all annotation providers use the same annotation names. #IDEA-386072 Fixed GitOrigin-RevId: 557f1f8a90bd66b5d3ee5944bd9409c78a6a0676