equal
deleted
inserted
replaced
188 do { |
188 do { |
189 next = cp.indexOf(File.pathSeparator, off); |
189 next = cp.indexOf(File.pathSeparator, off); |
190 String element = (next == -1) |
190 String element = (next == -1) |
191 ? cp.substring(off) |
191 ? cp.substring(off) |
192 : cp.substring(off, next); |
192 : cp.substring(off, next); |
193 if (element.length() > 0 || !skipEmptyElements) { |
193 if (!element.isEmpty() || !skipEmptyElements) { |
194 URL url = toFileURL(element); |
194 URL url = toFileURL(element); |
195 if (url != null) path.add(url); |
195 if (url != null) path.add(url); |
196 } |
196 } |
197 off = next + 1; |
197 off = next + 1; |
198 } while (next != -1); |
198 } while (next != -1); |