mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 09:39:37 +07:00
There is no need for such a detailed message as JPS module name is obvious, and also, we now search in libraries too. (cherry picked from commit 851fd63306625cef6dc803715efc17d5a2b78cb7) IJ-CR-171806 GitOrigin-RevId: 2a3023713c5c5c971ec73ee40a301f7662be1930