/**
* Perform plugin manager operation.
*/
public void performPluginManagerOperation(PluginManagementOperation op) {
PluginManagerOperationTask task = new PluginManagerOperationTask(op);
try {
currTask = task;
task.execute();
} catch (Exception e) {
Mediator.getUI().setCursor(null);
MessageBox.showErrorDialog(Mediator.getUI().getComponent(),
"Plugin Manager", e.getLocalizedMessage());
}