equal
deleted
inserted
replaced
80 List<File> list = new ArrayList<>(); |
80 List<File> list = new ArrayList<>(); |
81 |
81 |
82 for (StringTokenizer st = new StringTokenizer(path); |
82 for (StringTokenizer st = new StringTokenizer(path); |
83 st.hasMoreTokens(); ) { |
83 st.hasMoreTokens(); ) { |
84 String elt = st.nextToken(); |
84 String elt = st.nextToken(); |
85 File f = (parent == null ? new File(elt) : new File(parent, elt)); |
85 try { |
86 list.add(f); |
86 File f = parent == null ? new File(elt): new File(file.toURI().resolve(elt)); |
|
87 list.add(f); |
|
88 } catch (IllegalArgumentException ex) {} |
87 } |
89 } |
88 |
90 |
89 return list; |
91 return list; |
90 } |
92 } |
91 } |
93 } |