mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-24 09:20:53 +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