mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
- workaround, actual problems in jps-javac-extension, because it doesn't support RECORD as type GitOrigin-RevId: 8cc695f9ba2672cff732496678f16cd3d96b83ed