mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
There is no need to use java5 variant since the module requires Java 8 anyway. Also, this is needed to avoid packaging the old variant of the library with the plugin after the platform gets rid of it (IDEA-329910). GitOrigin-RevId: 05828d9278a937eee8cc87126ae56d876475de9b