String[] args2 = { plugin }; System.err.println(jEdit.getProperty( "jar.error.load",args2)); io.printStackTrace();
Log.log(Log.ERROR,jEdit.class,"Cannot load" + " plugin"); Log.log(Log.ERROR,jEdit.class,io);
	public static void loadPlugins(String directory)	{		String[] args = { directory };		System.out.println(jEdit.getProperty(			"jar.scanningdir",args));		File file = new File(directory);		if(!(file.exists() || file.isDirectory()))			return;		String[] plugins = file.list();		if(plugins == null)			return;		MiscUtilities.quicksort(plugins,new MiscUtilities.StringICaseCompare());		for(int i = 0; i < plugins.length; i++)		{			String plugin = plugins[i];			if(!plugin.toLowerCase().endsWith(".jar"))				continue;			try			{				new JARClassLoader(MiscUtilities.constructPath(					directory,plugin));			}			catch(IOException io)			{				String[] args2 = { plugin };				System.err.println(jEdit.getProperty(					"jar.error.load",args2));				io.printStackTrace();			}		}	}