public Path getAbsolutePath(String relativePath){
    //Log.finest("URLTextLoader.getAbsolutePath(): relativePath="+relativePath);
    if (!relativePath.contains(":")){
      if (relativePath.contains(" "))
        relativePath=relativePath.replaceAll(" ", "%20");
      URI newURI=uri.resolve(relativePath);
      if (newURI==null)
        throw new CannotResolveRelativePathException(relativePath, uri);
      try {
        if (brokenZip && newURI.toString().indexOf(":")==-1)
          newURI=DumbURIFix.fix(uri, relativePath);
        return new Path(newURI.toURL());
      } catch (Exception e) {
        throw new CannotResolveRelativePathException(relativePath, uri, newURI, e);
      }
    }
    return null;
  }