paste.setLayout(
new MigLayout("", "[grow 100, fill]", "[][grow 100,fill]"));
- panels = jalview.jbgui.GDesktop.createTabbedPane();
+ panels = new JTabbedPane();
panels.addTab(details.getName(), details);
panels.addTab(inputs.getName(), inputs);
panels.addTab(paste.getName(), paste);