5152535455565758596061
throw new IOException("Unable to understand protocol: " + url.getProtocol()); } File f = new File(url.getPath()); if (f.isDirectory()) { return new XmlFileReader(f, filter); } else { return new JarFileReader(url.openStream(), filter); } } }