mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
JdkWarmupProjectActivity.kt has been updated to prevent duplicate JDK entries. Now, before a JDK is added to the project JDK table, a check is performed to see if it already exists. GitOrigin-RevId: 4c437b82d2520797fdd616ab455a4bf67067595b