equal
deleted
inserted
replaced
82 } else { |
82 } else { |
83 pkg_set = Collections.emptySet(); |
83 pkg_set = Collections.emptySet(); |
84 } |
84 } |
85 |
85 |
86 ModuleDescriptor descriptor = |
86 ModuleDescriptor descriptor = |
87 ModuleDescriptor.module(name).contains(pkg_set).build(); |
87 ModuleDescriptor.newModule(name).packages(pkg_set).build(); |
88 URI uri = URI.create("module:/" + name); |
88 URI uri = URI.create("module:/" + name); |
89 |
89 |
90 return java.lang.reflect.ModuleHelper.newModule(loader, descriptor); |
90 return java.lang.reflect.ModuleHelper.newModule(loader, descriptor); |
91 } |
91 } |
92 |
92 |