src/java.base/share/classes/java/lang/ModuleLayer.java
changeset 51327 a19fda433921
parent 49528 c1eb35eb5f38
child 51703 4ffb0a33f265
--- a/src/java.base/share/classes/java/lang/ModuleLayer.java	Tue Aug 07 13:51:30 2018 -0700
+++ b/src/java.base/share/classes/java/lang/ModuleLayer.java	Tue Aug 07 23:08:52 2018 +0200
@@ -173,7 +173,7 @@
 
         Map<String, Module> map;
         if (parents.isEmpty()) {
-            map = Collections.emptyMap();
+            map = Map.of();
         } else {
             map = Module.defineModules(cf, clf, this);
         }
@@ -811,8 +811,7 @@
     public Set<Module> modules() {
         Set<Module> modules = this.modules;
         if (modules == null) {
-            this.modules = modules =
-                Collections.unmodifiableSet(new HashSet<>(nameToModule.values()));
+            this.modules = modules = Set.copyOf(nameToModule.values());
         }
         return modules;
     }