public TextLoader create(Path path) throws Exception{
    if (path.hasPathString()){
      String p=prePath+path.getPathString();
      if (p.contains(" "))
        p=p.replaceAll(" ", "%20");
      try {
        return new URLTextLoader(new URL(p), proxy, brokenZips);
      } catch (MalformedURLException e) {
        throw new InvalidURLException(p, e);
      }
    }  
    else    
    if (!path.hasURL())
      throw new InternalException("Does not have an internal URL: "+path.toString());
    else
      return new URLTextLoader(path.getURL(), proxy, brokenZips);  
  }