mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 14:37:45 +07:00
Otherwise 'null' key in myProperties map will cause exceptions later (see IDEA-240496). GitOrigin-RevId: 742258b412fce199fbb278fcf61a6d3f30a787b8