public void run() { tree = newTree; tree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION); tree.setLargeModel(true); tree.setCellRenderer(new BugRenderer()); Container container = treeScrollPane.getParent();  container.remove(treeScrollPane); treeScrollPane = new JScrollPane(newTree); container.add(treeScrollPane, BorderLayout.CENTER); setFontSizeHelper(container.getComponents(), Driver.getFontSize()); tree.setRowHeight((int)(Driver.getFontSize() + 7)); MainFrame.getInstance().getContentPane().validate(); MainFrame.getInstance().getContentPane().repaint();  setupTreeListeners(); newModel.openPreviouslySelected(((BugTreeModel)(tree.getModel())).getOldSelectedBugs()); MainFrame.this.getSorter().addColumnModelListener(newModel); FilterMatcher.addFilterListener(newModel); newTree.addTreeExpansionListener(newModel); MainFrame.this.setSorting(true);
public void run(){ setSourceTabTitle("Source"); sourceCodeTextPane.setDocument(SourceCodeDisplay.SOURCE_NOT_RELEVANT);
			public void run()			{				tree = newTree;				tree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION);				tree.setLargeModel(true);				tree.setCellRenderer(new BugRenderer());				Container container = treeScrollPane.getParent();								container.remove(treeScrollPane);				treeScrollPane = new JScrollPane(newTree);				container.add(treeScrollPane, BorderLayout.CENTER);				setFontSizeHelper(container.getComponents(), Driver.getFontSize());				tree.setRowHeight((int)(Driver.getFontSize() + 7));				MainFrame.getInstance().getContentPane().validate();				MainFrame.getInstance().getContentPane().repaint();								setupTreeListeners();				newModel.openPreviouslySelected(((BugTreeModel)(tree.getModel())).getOldSelectedBugs());				MainFrame.this.getSorter().addColumnModelListener(newModel);				FilterMatcher.addFilterListener(newModel);				newTree.addTreeExpansionListener(newModel);				MainFrame.this.setSorting(true);			}