mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
Fixes IDEA-371191 Unhelpful "unreachable switch label" warning GitOrigin-RevId: d3e92efc518590ed7c5b7219b9ba0378c292507d
Fixes IDEA-371191 Unhelpful "unreachable switch label" warning GitOrigin-RevId: d3e92efc518590ed7c5b7219b9ba0378c292507d