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()); SwingUtilities.invokeLater(new Runnable() { public void run() { bottomScroll.getVerticalScrollBar().setValue(bottomScroll.getVerticalScrollBar().getMinimum()); } }); showEditorAndHighlight(bugList.get(table.getSelectedRow())); } });  JScrollPane topScroll = new JScrollPane(table); topScroll.setPreferredSize(new Dimension(675, 275));   description = new JEditorPane(); description.setContentType("text/html"); bottomScroll = new JScrollPane(description); bottomScroll.setPreferredSize(new Dimension(675, 100));  JSplitPane splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, topScroll, bottomScroll); setContentPane(splitPane);   pack(); setDefaultCloseOperation(HIDE_ON_CLOSE); }
private ResultsFrame() {}
	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());				SwingUtilities.invokeLater(new Runnable()						{							public void run()							{								bottomScroll.getVerticalScrollBar().setValue(bottomScroll.getVerticalScrollBar().getMinimum());							}						});				showEditorAndHighlight(bugList.get(table.getSelectedRow()));			}		});				JScrollPane topScroll = new JScrollPane(table);		topScroll.setPreferredSize(new Dimension(675, 275));							description = new JEditorPane();		description.setContentType("text/html");		bottomScroll = new JScrollPane(description);		bottomScroll.setPreferredSize(new Dimension(675, 100));				JSplitPane splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, topScroll, bottomScroll);		setContentPane(splitPane);							pack();		setDefaultCloseOperation(HIDE_ON_CLOSE);	}