mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:47:25 +07:00
They're used together with intellij.database.jdbcConsole which was migrated to Java 8 in 6204af2880f7f71fb, so it doesn't make sense to keep compatibility with Java 7 in them. This is needed to simplify migration to Java 21, which doesn't support cross-compilation to Java 7. GitOrigin-RevId: 576b0a4949290419b919084c60bb52df0c0f68d7