langtools/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/JdepsConfiguration.java
changeset 41859 85710a227743
parent 41164 69167c89e68f
child 41998 feae61dc2280
equal deleted inserted replaced
41858:5843b57ce3a6 41859:85710a227743
   395                                 return name.equals(mn)
   395                                 return name.equals(mn)
   396                                     ? Optional.of(uri) : Optional.empty();
   396                                     ? Optional.of(uri) : Optional.empty();
   397                             }
   397                             }
   398 
   398 
   399                             @Override
   399                             @Override
       
   400                             public Stream<String> list() {
       
   401                                 return Stream.empty();
       
   402                             }
       
   403 
       
   404                             @Override
   400                             public void close() throws IOException {
   405                             public void close() throws IOException {
   401                             }
   406                             }
   402                         };
   407                         };
   403                     }
   408                     }
   404                 };
   409                 };