src/java.base/share/classes/java/lang/module/InstalledModuleFinder.java

*** 108,118 ****
                  // if fast loading of ModuleDescriptors is disabled
                  ImageLocation location = imageReader.findLocation(mn, "module-info.class");
                  md = ModuleDescriptor.read(imageReader.getResourceBuffer(location));
              }
              if (!md.name().equals(mn))
!                 throw new InternalError();
  
              // create the ModuleReference
  
              URI uri = URI.create("jrt:/" + mn);
  
--- 108,118 ----
                  // if fast loading of ModuleDescriptors is disabled
                  ImageLocation location = imageReader.findLocation(mn, "module-info.class");
                  md = ModuleDescriptor.read(imageReader.getResourceBuffer(location));
              }
              if (!md.name().equals(mn))
!                 throw new InternalError(md.name() + " is not equal to " + mn);
  
              // create the ModuleReference
  
              URI uri = URI.create("jrt:/" + mn);