public URLInputReader(java.net.URL url) throws IOException {
  if (Debug.debugging("binaryfile")) {
    Debug.output("URLInputReader created from URL ");
  }
  inputURL=url;
  reopen();
  name=url.getProtocol() + "://" + url.getHost()+ url.getFile();
}

public URLInputReader ( java . net . URL url ) throws IOException { if ( Debug . debugging ( "binaryfile" ) ) { Debug . output ( "URLInputReader created from URL " ) ; } inputURL = url ; reopen ( ) ; name = url . getProtocol ( ) + "://" + url . getHost ( ) + url . getFile ( ) ; }
construct a urlinputreader from a url .
