});
});*/
	public ResultsFrame(final SortedBugCollection bugs, BProject project)	{		currProject = project;		final ArrayList<BugInstance> bugList = new ArrayList<BugInstance>(bugs.getCollection());				final JTable table = new JTable(new MyTableModel(bugList));				for (int i = 0; i < columnNames.length; i++)			table.getColumn(columnNames[i]).setPreferredWidth(columnWidths[i]);		table.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);		table.getSelectionModel().addListSelectionListener(new ListSelectionListener()		{			public void valueChanged(ListSelectionEvent evt)			{				description.setText(bugList.get(table.getSelectedRow()).getBugPattern().getDetailHTML());			}			});				JScrollPane topScroll = new JScrollPane(table);		topScroll.setPreferredSize(new Dimension(675, 275));							description = new JEditorPane();		description.setContentType("text/html");		JScrollPane bottomScroll = new JScrollPane(description);		bottomScroll.setPreferredSize(new Dimension(675, 100));				JSplitPane splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, topScroll, bottomScroll);		setContentPane(splitPane);				JButton showCode = new JButton("Show Code");		add(showCode);		showCode.addActionListener(new ActionListener(){			public void actionPerformed(ActionEvent e){				showEditorAndHighlight(bugList.get(table.getSelectedRow()));			}		});				pack();		setDefaultCloseOperation(HIDE_ON_CLOSE);	}