suppressionTableModel=new UneditableTableModel(new Object[0][4],new String[]{"Name","Type","Description","Comments"});
suppressionTableModel=new UneditableTableModel(new Object[0][4],new String[]{L10N.getLocalString("pref.name", "Name"),L10N.getLocalString("pref.type", "Type"),L10N.getLocalString("pref.description", "Description"),L10N.getLocalString("pref.comments", "Comments")});
	private JPanel createSuppressionPane() 	{		JPanel suppressP = new JPanel();		suppressP.setLayout(new BorderLayout());		final JTable table=new JTable();		JScrollPane scrollable= new JScrollPane(table);				suppressionTableModel=new UneditableTableModel(new Object[0][4],new String[]{"Name","Type","Description","Comments"});		table.setModel(suppressionTableModel);		table.doLayout();		table.setCellEditor(null);		table.setAutoResizeMode(JTable.AUTO_RESIZE_NEXT_COLUMN);			table.setRowHeight((int)(Driver.getFontSize() * 1.25) + table.getRowMargin());				suppressP.add(new JLabel("Bug Suppressions"),BorderLayout.NORTH);		suppressP.add(scrollable,BorderLayout.CENTER);		suppressP.add(new JLabel("Bug Suppressions"));		suppressP.add(scrollable);				ActionListener buttonListener=new ActionListener(){			public void actionPerformed(ActionEvent e) {				int[] selectedBugs=table.getSelectedRows();				//ArrayList<BugInstance> bugsToUnsuppress=new ArrayList<BugInstance>();				for(int x=selectedBugs.length-1;x>=0;x--)				{					int rowNumber=selectedBugs[x];					BugInstance b=ProjectSettings.getInstance().getSuppressionMatcher().get(rowNumber);					ProjectSettings.getInstance().getSuppressionMatcher().remove(b);//Suppressions IS the bugSuppression filter					suppressionTableModel.removeRow(rowNumber);										if (ProjectSettings.getInstance().getAllMatchers().match(b))					{						TreePath fullPathToBug=((BugTreeModel)(MainFrame.getInstance().getTree().getModel())).getPathToNewlyUnsuppressedBug(b);						FilterMatcher.notifyListeners(FilterListener.UNSUPPRESSING,fullPathToBug);									}				}								MainFrame.getInstance().updateStatusBar();			}		};				unsuppressButton=new JButton("Unsuppress");		table.addKeyListener(new KeyListener(){			public void keyTyped(KeyEvent key) 			{				if ((int)key.getKeyChar()==KeyEvent.VK_BACK_SPACE || (int) key.getKeyChar()==KeyEvent.VK_DELETE)					unsuppressButton.doClick();			}			public void keyPressed(KeyEvent arg0) 			{			}			public void keyReleased(KeyEvent arg0) 			{			}					});		//		unsuppressButton.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_DELETE,0),JPanel.WHEN_IN_FOCUSED_WINDOW);//		unsuppressButton.getActionMap().put(JPanel.WHEN_IN_FOCUSED_WINDOW,buttonListener);				unsuppressButton.addActionListener(buttonListener);		suppressP.add(unsuppressButton,BorderLayout.SOUTH);		return suppressP;	}