mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
remove not needed anymore code as JDK 11 is required GitOrigin-RevId: ad875b33874482d489b00a6aa29fccd2b6a654bc
remove not needed anymore code as JDK 11 is required GitOrigin-RevId: ad875b33874482d489b00a6aa29fccd2b6a654bc