});
}
private void initPlugins(PluginRegistry pluginRegistry) {
pluginRegistry.addPluginListener(
new PluginListener() {
public void pluginStarted(PluginEvent e) {
if (e.getPlugin() instanceof JComponent) {
JComponent plugin = (JComponent) e.getPlugin();
getTabbedPane().addANewTab(plugin.getName(), plugin, null, null);
}