return new URL(loader.baseURL, name, loader.classloader.getURLStreamHandler("file"));
return file.toURL();
    public URL getURL()    {      try	{	  return new URL(loader.baseURL, name,			 loader.classloader.getURLStreamHandler("file"));	}      catch (MalformedURLException e)	{	  InternalError ie = new InternalError();	  ie.initCause(e);	  throw ie;	}    }