if (plugin.listExecutions().size() > 0)
{
Configuration config = plugin.listExecutions().get(0).getConfig();
if (config.hasConfigurationElement("processors"))
{
ConfigurationElement element = config.getConfigurationElement("processors").getChildByName("processor");
return element.getText().equals(provider.getProcessor());
}
}
}
return false;
}