protected URLConnection openConnection(URL url) throws IOException { return (new gnu.java.net.protocol.file.FileURLConnection(url)); }
protected URLConnection openConnection(URL url) throws IOException {   String host = url.getHost(); if ((host != null) && (! host.equals(""))) { throw new IOException("ftp protocol handler not yet implemented.");  }  return new Connection(url); }
	protected URLConnection openConnection(URL url) throws IOException {		return (new gnu.java.net.protocol.file.FileURLConnection(url));	}