if("yes".equals(jEdit.getProperty("plugin." + name + ".disabled"))) { String[] args = { name }; System.err.println(jEdit.getProperty("jar.disabled",args)); return; }
	private void loadPluginClass(String name)		throws Exception	{		name = MiscUtilities.fileToClass(name);		// Check if it is disabled		if("yes".equals(jEdit.getProperty("plugin." + name + ".disabled")))		{			String[] args = { name };			System.err.println(jEdit.getProperty("jar.disabled",args));			return;		}		// Check if a plugin with the same name is already loaded		EditPlugin[] plugins = jEdit.getPlugins();		for(int i = 0; i < plugins.length; i++)		{			if(plugins[i]._getName().equals(name))			{				String[] args = { name };				System.err.println(jEdit.getProperty(					"jar.error.duplicateName",args));				return;			}		}		// Check dependencies		if(!checkDependencies(name))			return;		// JDK 1.1.8 throws a GPF when we do an isAssignableFrom()		// on an unresolved class		Class clazz = loadClass(name,true);		int modifiers = clazz.getModifiers();		if(!Modifier.isInterface(modifiers)			&& !Modifier.isAbstract(modifiers))		{			if(EditPlugin.class.isAssignableFrom(clazz))			{				jEdit.addPlugin((EditPlugin)clazz.newInstance());				String[] args = { name };				System.out.println(jEdit.getProperty("jar.loaded",args));			}			else if(Plugin.class.isAssignableFrom(clazz))			{				jEdit.addPlugin((Plugin)clazz.newInstance());				String[] args = { name };				System.out.println(jEdit.getProperty("jar.loaded.old",args));			}		}	}