return "jeditresource:/" + MiscUtilities.getFileName(jar.getPath()) + "!" + name;
if(!name.startsWith("/")) name = "/" + name;  return "jeditresource:/" + MiscUtilities.getFileName( jar.getPath()) + "!" + name;
	public String getResourceAsPath(String name)	{		if(zipFile == null)			return null;		return "jeditresource:/"			+ MiscUtilities.getFileName(jar.getPath())			+ "!"			+ name;	}