}
public synchronized void setPluginStatus(int idx, PluginStatus value)
{
_pluginStatusInfoColl.ensureCapacity(idx + 1);
final PluginStatus oldValue = _pluginStatusInfoColl.get(idx);;
_pluginStatusInfoColl.set(idx, value);
getPropertyChangeReporter().firePropertyChange(IPropertyNames.PLUGIN_STATUSES,
oldValue, value);
}