public JARClassLoader(String path) throws IOException
public JARClassLoader()
	public JARClassLoader(String path)		throws IOException	{		zipFile = new ZipFile(path);		Enumeration entires = zipFile.entries();		while(entires.hasMoreElements())		{			ZipEntry entry = (ZipEntry)entires.nextElement();			String name = entry.getName();			if(name.toLowerCase().endsWith(".props"))			{				jEdit.loadProps(zipFile.getInputStream(entry));			}			else if(name.toLowerCase().endsWith(".class"))			{				if(name.endsWith("Plugin.class"))					pluginClasses.addElement(name);			}		}		jar = new EditPlugin.JAR(path,this);		jEdit.addPluginJAR(jar);	}