List<Path> (Path classFile) { var files = new ArrayList<Path>(); files.add(classFile); var parent = classFile.getParent(); if (parent != null) { var glob = classFile.getFileName().toString().replace(".class", "$*.class"); try (DirectoryStream<Path> inner = Files.newDirectoryStream(parent, glob)) { inner.forEach(files::add); } catch (IOException e) { throw new UncheckedIOException(e); } } return files; }