mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +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