code: //==============================================================================
  //	
  //	Copyright (c) 2002-
  //	Authors:
  //	* Dave Parker <d.a.parker@cs.bham.ac.uk> (University of Birmingham/Oxford)
  //	
  //------------------------------------------------------------------------------
  //	
  //	This file is part of PRISM.
  //	
  //	PRISM is free software; you can redistribute it and/or modify
  //	it under the terms of the GNU General Public License as published by
  //	the Free Software Foundation; either version 2 of the License, or
  //	(at your option) any later version.
  //	
  //	PRISM is distributed in the hope that it will be useful,
  //	but WITHOUT ANY WARRANTY; without even the implied warranty of
  //	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  //	GNU General Public License for more details.
  //	
  //	You should have received a copy of the GNU General Public License
  //	along with PRISM; if not, write to the Free Software Foundation,
  //	Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  //	
  //==============================================================================
  
  package userinterface;
  
  import java.awt.Component;
  import java.awt.event.MouseAdapter;
  import java.awt.event.MouseEvent;
  
  import javax.swing.JCheckBox;
  import javax.swing.JList;
  import javax.swing.ListCellRenderer;
  import javax.swing.ListSelectionModel;
  import javax.swing.UIManager;
  import javax.swing.border.Border;
  import javax.swing.border.EmptyBorder;
  
  /**
   * Extension of JList containing JCheckBoxes.
   */
  @SuppressWarnings("serial")
  public class CheckBoxList extends JList
  {
  	protected static Border noFocusBorder = new EmptyBorder(1, 1, 1, 1);
  
  	public CheckBoxList()
  	{
  		setCellRenderer(new CellRenderer());
  		addMouseListener(new MouseAdapter()
  		{
  			public void mousePressed(MouseEvent e)
  			{
  				int index = locationToIndex(e.getPoint());
  				if (index != -1) {
  					JCheckBox checkbox = (JCheckBox) getModel().getElementAt(index);
  					checkbox.setSelected(!checkbox.isSelected());
  					repaint();
  				}
  			}
  		});
  		setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
  	}
  
  	protected class CellRenderer implements ListCellRenderer
  	{
  		public Component getListCellRendererComponent(JList list, Object value, int index, boolean isSelected, boolean cellHasFocus)
  		{
  			JCheckBox checkbox = (JCheckBox) value;
  			checkbox.setBackground(isSelected ? getSelectionBackground() : getBackground());
  			checkbox.setForeground(isSelected ? getSelectionForeground() : getForeground());
  			checkbox.setEnabled(isEnabled());
  			checkbox.setFont(getFont());
  			checkbox.setFocusPainted(false);
  			checkbox.setBorderPainted(true);
  			checkbox.setBorder(isSelected ? UIManager.getBorder("List.focusCellHighlightBorder") : noFocusBorder);
  			return checkbox;
  		}
  	}
  }
  