pluginList_tmp.add(o);
}
for ( int i = 0 ; i < pluginList_tmp.size() ; i++) {
Plugin p=(Plugin) pluginList.get(pluginList_tmp.elementAt(i));
try {
p.unregisterServicePlugin();
} catch (Exception ex) {
//System.out.println("\""+p.getName()+"\" : "+ex);
}
}
}