String msg = jEdit.getProperty("jar.loading"); System.out.print(msg); System.out.flush(); width = msg.length();
	public static void initPlugins()	{		String msg = jEdit.getProperty("jar.loading");		System.out.print(msg);		System.out.flush();		width = msg.length();		for(int i = 0; i < classLoaders.size(); i++)		{			JARClassLoader classLoader = (JARClassLoader)				classLoaders.elementAt(i);			classLoader.loadAllPlugins();		}		if(width != 0)			System.out.println();	}