if (getDeclaringPluginDescriptor().getPluginRegistry().getPluginDescriptor(plugin) == null) {
if (registry.getPluginDescriptor(plugin) == null) {
	protected void resolve() 	throws PluginException {		if (getDeclaringPluginDescriptor().getPluginRegistry().getPluginDescriptor(plugin) == null) {			throw new PluginException("Unknown plugin " + plugin + " in import of " + getDeclaringPluginDescriptor().getId()); 		}	}