mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
Effective value is determined in the following order: 1. user-local heap size; 2. user-local VM options; 3. shared heap size; 4. shared VM options. 3 already had higher priority than 4, so newly added 1 has higher priority than 2 for consistency. GitOrigin-RevId: 9677822c66c02c047cec602d757cd3591dd881b3