} else System.out.println("skipping class"); } else { System.out.println("skipping resource");
	public JARClassLoader(String path)		throws Exception, Exception	{		System.out.println("Loading plugin: " + path);		zipFile = new ZipFile(path);		// We defer the loading so that when plugins are started,		// all properties are already present		Vector pluginClasses = new Vector();		System.out.println("----------------");		Enumeration entires = zipFile.entries();		while(entires.hasMoreElements())		{			ZipEntry entry = (ZipEntry)entires.nextElement();			String name = entry.getName();			System.out.print("  -- " + name + ": ");			if(name.toLowerCase().endsWith(".props"))			{				System.out.println("loading properties file");				jEdit.loadProps(zipFile.getInputStream(entry),					name);			}			else if(name.toLowerCase().endsWith(".class"))			{				if(name.endsWith("Plugin.class"))				{					System.out.println("will load later");					pluginClasses.addElement(name);				}				else					System.out.println("skipping class");			}			else			{				System.out.println("skipping resource");			}		}		System.out.println("----------------");		// Do deferred loading		Enumeration enum = pluginClasses.elements();		while(enum.hasMoreElements())		{			loadPluginClass((String)enum.nextElement());		}