if(jEdit.getPlugin(plugin) instanceof EditPlugin.Broken) { String[] args = { name, plugin }; GUIUtilities.error(null,"plugin.dep-plugin.broken",args); return false; }
	private boolean checkDependencies(String name)	{		int i = 0;		String dep;		while((dep = jEdit.getProperty("plugin." + name + ".depend." + i++)) != null)		{			int index = dep.indexOf(' ');			if(index == -1)			{				Log.log(Log.ERROR,this,name + " has an invalid"					+ " dependency: " + dep);				return false;			}			String what = dep.substring(0,index);			String arg = dep.substring(index + 1);			if(what.equals("jdk"))			{				if(System.getProperty("java.version").compareTo(arg) < 0)				{					String[] args = { name, arg,						System.getProperty("java.version") };					GUIUtilities.error(null,"plugin.dep-jdk",args);					return false;				}			}			else if(what.equals("jedit"))			{				if(jEdit.getBuild().compareTo(arg) < 0)				{					String needs = MiscUtilities.buildToVersion(arg);					String[] args = { name, needs,						jEdit.getVersion() };					GUIUtilities.error(null,"plugin.dep-jedit",args);					return false;				}			}			else if(what.equals("plugin"))			{				int index2 = arg.indexOf(' ');				if(index2 == -1)				{					Log.log(Log.ERROR,this,name 						+ " has an invalid dependency: "						+ dep + " (version is missing)");					return false;				}								String plugin = arg.substring(0,index2);				String needVersion = arg.substring(index2 + 1);				String currVersion = jEdit.getProperty("plugin." 					+ plugin + ".version");				if(jEdit.getPlugin(plugin) instanceof EditPlugin.Broken)				{					String[] args = { name, plugin };					GUIUtilities.error(null,"plugin.dep-plugin.broken",args);					return false;				}				if(currVersion == null)				{					String[] args = { name, needVersion, plugin };					GUIUtilities.error(null,"plugin.dep-plugin.no-version",args);					return false;				}				if(MiscUtilities.compareVersions(currVersion,					needVersion) < 0)				{					String[] args = { name, needVersion, plugin, currVersion };					GUIUtilities.error(null,"plugin.dep-plugin",args);					return false;				}			}			else if(what.equals("class"))			{				try				{					loadClass(arg,false);				}				catch(Exception e)				{					String[] args = { name, arg };					GUIUtilities.error(null,"plugin.dep-class",args);					return false;				}			}			else			{				Log.log(Log.ERROR,this,name + " has unknown"					+ " dependency: " + dep);				return false;			}		}		return true;	}