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