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();			String lname = name.toLowerCase();			if(lname.equals("actions.xml"))			{				jEdit.loadActions(path + "!actions.xml",					new BufferedReader(new InputStreamReader(					zipFile.getInputStream(entry))),true);			}			else if(lname.endsWith(".props"))				jEdit.loadProps(zipFile.getInputStream(entry),true);			else if(name.endsWith("Plugin.class"))				pluginClasses.addElement(name);		}		jar = new EditPlugin.JAR(path,this);		jEdit.addPluginJAR(jar);	}