availablePluginsUIPanel, BoxLayout.PAGE_AXIS));
installPluginsUIPanel.add(new InstalledPluginPanel(this,
new GAEGUIHolder()));
installPluginsUIPanel.add(new InstalledPluginPanel(this,
new C4GUIHolder()));
installPluginsUIPanel.add(new InstalledPluginPanel(this,
new SpacGUIHolder()));
//installPluginsUIPanel.add(new InstalledPluginPanel(this,
// new SSHGUIHolder()));
// displayInstalledPlugins();