if (file.isDirectory()) { URL url = getURL(); return url.openStream(); }
    InputStream getInputStream() throws IOException    {      // Delegate to the URL content handler mechanism to retrieve an      // HTML representation of the directory listing if a directory      if (file.isDirectory())        {          URL url = getURL();          return url.openStream();        }      // Otherwise simply return a FileInputStream      return new FileInputStream(file);    }