showEditorAndHighlight(bugList.get(table.getSelectedRow()));
			public void valueChanged(ListSelectionEvent evt)			{				description.setText(bugList.get(table.getSelectedRow()).getBugPattern().getDetailHTML());			}	