mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 13:39:36 +07:00
We need this to ensure that build process can be started under JDK 8 after we migrate IDE modules to JDK 11 (IDEA-243693). GitOrigin-RevId: ef971ba29e74cde144754052e82831e9eb4bde07