tree.setLargeModel(true);
	public void newTree(final JTree newTree, final BugTreeModel newModel)	{		SwingUtilities.invokeLater(new Runnable()		{			public void run()			{				tree = newTree;				tree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION);				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);			}		});			}