mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-26 19:06:24 +07:00
Fixes IDEA-210771 Error message should be exposed for the new 'case' label in Java 12 in case of wrong constant usage
Fixes IDEA-210771 Error message should be exposed for the new 'case' label in Java 12 in case of wrong constant usage