}
});
mList.setCellRenderer(new ContextMenuCellRenderer());
PluginProxyManager.getInstance().addPluginStateListener(new PluginStateAdapter() {
public void pluginActivated(PluginProxy proxy) {
fillListbox();
}
public void pluginDeactivated(PluginProxy proxy) {