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);
	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);	}