mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-07-19 04:52:46 +07:00
Fixes IDEA-187213 Stream API migration: support Java 10 toUnmodifiableList/Set/Map collections
Fixes IDEA-187213 Stream API migration: support Java 10 toUnmodifiableList/Set/Map collections