import java.net.*;
import java.io.*;

public class StringURLHandler extends URLStreamHandler {
    public int getDefaultPort() { return StringURLConnection.DEFPORT; }
    protected URLConnection openConnection(URL url) throws IOException {
	return new StringURLConnection(url); 
    }

}
