this(new SortedBugCollection());
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);
	public ResultsFrame()	{		this(new SortedBugCollection());	}