if(width != 0) { System.err.println(); width = 0; } String[] args = { name }; System.err.println(jEdit.getProperty("jar.error.init",args)); t.printStackTrace();
Log.log(Log.ERROR,this,t);
	private void loadAllPlugins()	{		for(int i = 0; i < pluginClasses.size(); i++)		{			String name = (String)pluginClasses.elementAt(i);			try			{				loadPluginClass(name);			}			catch(Throwable t)			{				if(width != 0)				{					System.err.println();					width = 0;				}				String[] args = { name };				System.err.println(jEdit.getProperty("jar.error.init",args));				t.printStackTrace();			}		}	}