int nameWidth = name.length() + 1; if((width + nameWidth) >= 79) { System.out.println(); width = nameWidth; } else { System.out.print(' '); width += nameWidth; }  System.out.print(name); System.out.flush();
Log.log(Log.NOTICE,this,"Starting plugin " + name);
	private void loadPluginClass(String name)		throws Exception	{		name = MiscUtilities.fileToClass(name);		// 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].getClass().getName().equals(name))			{				if(width != 0)				{					System.err.println();					width = 0;				}				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)			&& EditPlugin.class.isAssignableFrom(clazz))		{			int nameWidth = name.length() + 1;			if((width + nameWidth) >= 79)			{				System.out.println();				width = nameWidth;			}			else			{				System.out.print(' ');				width += nameWidth;			}			System.out.print(name);			System.out.flush();			jEdit.addPlugin((EditPlugin)clazz.newInstance());		}	}