mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
Fixes IDEA-297812 org.w3c.dom.Node#getAttributes() is erroneous annotated as 'NotNull' GitOrigin-RevId: ead3485f11991bab33358437c845995272a48b3f