mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-07 05:07:39 +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