src/java.base/share/classes/jdk/internal/module/ModulePath.java

*** 41,51 ****
  import java.net.URI;
  import java.nio.file.DirectoryStream;
  import java.nio.file.Files;
  import java.nio.file.NoSuchFileException;
  import java.nio.file.Path;
- import java.nio.file.Paths;
  import java.nio.file.attribute.BasicFileAttributes;
  import java.util.ArrayList;
  import java.util.Collections;
  import java.util.HashMap;
  import java.util.List;
--- 41,50 ----
*** 358,368 ****
       */
      private String fileName(ModuleReference mref) {
          URI uri = mref.location().orElse(null);
          if (uri != null) {
              if (uri.getScheme().equalsIgnoreCase("file")) {
!                 Path file = Paths.get(uri);
                  return file.getFileName().toString();
              } else {
                  return uri.toString();
              }
          } else {
--- 357,367 ----
       */
      private String fileName(ModuleReference mref) {
          URI uri = mref.location().orElse(null);
          if (uri != null) {
              if (uri.getScheme().equalsIgnoreCase("file")) {
!                 Path file = Path.get(uri);
                  return file.getFileName().toString();
              } else {
                  return uri.toString();
              }
          } else {