public PluginPanel() {
setLayout(new BorderLayout());
title = Lang.getNoHTML("preferences.plugins");
pluginList = new JPanel();
pluginList.setLayout(new BoxLayout(pluginList, BoxLayout.PAGE_AXIS));
for (Plugin p : new PluginManagerUtil(Controller.pm).getPlugins(Plugin.class)) {
pluginList.add(new PluginInfo(p));
pluginList.add(new JSeparator());
}
pluginList.add(Box.createVerticalGlue());
final PluginPanel _this = this;