src/java.base/share/classes/jdk/internal/jrtfs/JrtFileSystem.java

*** 1,7 ***
  /*
!  * Copyright (c) 2014, 2022, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.  Oracle designates this
--- 1,7 ---
  /*
!  * Copyright (c) 2014, 2025, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.  Oracle designates this

*** 52,21 ***
  import java.nio.file.WatchService;
  import java.nio.file.attribute.FileAttribute;
  import java.nio.file.attribute.FileTime;
  import java.nio.file.attribute.UserPrincipalLookupService;
  import java.nio.file.spi.FileSystemProvider;
- import java.util.ArrayList;
  import java.util.Arrays;
  import java.util.Collections;
  import java.util.HashSet;
  import java.util.Iterator;
  import java.util.Map;
  import java.util.Objects;
  import java.util.Set;
  import java.util.regex.Pattern;
  import jdk.internal.jimage.ImageReader.Node;
- import static java.util.stream.Collectors.toList;
  
  /**
   * jrt file system implementation built on System jimage files.
   *
   * @implNote This class needs to maintain JDK 8 source compatibility.
--- 52,19 ---

*** 223,23 ***
          Node node = checkNode(path).resolveLink(true);
          if (!node.isDirectory()) {
              throw new NotDirectoryException(path.getName());
          }
          if (filter == null) {
!             return node.getChildren()
!                        .stream()
!                        .map(child -> (Path)(path.resolve(new JrtPath(this, child.getNameString()).getFileName())))
-                        .iterator();
          }
!         return node.getChildren()
!                    .stream()
!                    .map(child -> (Path)(path.resolve(new JrtPath(this, child.getNameString()).getFileName())))
!                    .filter(p ->  { try { return filter.accept(p);
!                                    } catch (IOException x) {}
!                                    return false;
!                                   })
!                    .iterator();
      }
  
      // returns the content of the file resource specified by the path
      byte[] getFileContent(JrtPath path) throws IOException {
          Node node = checkNode(path);
--- 221,23 ---
          Node node = checkNode(path).resolveLink(true);
          if (!node.isDirectory()) {
              throw new NotDirectoryException(path.getName());
          }
          if (filter == null) {
!             return node.getChildNames()
!                     .map(child -> (Path) (path.resolve(new JrtPath(this, child).getFileName())))
!                     .iterator();
          }
!         return node.getChildNames()
!                 .map(child -> (Path) (path.resolve(new JrtPath(this, child).getFileName())))
!                 .filter(p -> {
!                     try {
!                         return filter.accept(p);
!                     } catch (IOException x) {}
!                     return false;
!                 })
+                 .iterator();
      }
  
      // returns the content of the file resource specified by the path
      byte[] getFileContent(JrtPath path) throws IOException {
          Node node = checkNode(path);