String path = MiscUtilities.constructPath( directory,plugin);
	public static void loadPlugins(String directory)	{		Log.log(Log.NOTICE,jEdit.class,"Loading plugins from "			+ directory);		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			{				String path = MiscUtilities.constructPath(					directory,plugin);				Log.log(Log.DEBUG,jEdit.class,					"Scanning JAR file: " + path);				new JARClassLoader(path);			}			catch(IOException io)			{				Log.log(Log.ERROR,jEdit.class,"Cannot load"					+ " plugin " + plugin);				Log.log(Log.ERROR,jEdit.class,io);				String[] args = { plugin, io.toString() };				GUIUtilities.error(null,"plugin.load-error",args);			}		}	}