equal
deleted
inserted
replaced
75 |
75 |
76 String path = attr.getValue(Attributes.Name.CLASS_PATH); |
76 String path = attr.getValue(Attributes.Name.CLASS_PATH); |
77 if (path == null) |
77 if (path == null) |
78 return Collections.emptyList(); |
78 return Collections.emptyList(); |
79 |
79 |
80 List<File> list = new ArrayList<File>(); |
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 File f = (parent == null ? new File(elt) : new File(parent, elt)); |