langtools/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/JdepsConfiguration.java
equal
deleted
inserted
replaced
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 }; |