return new JList(model)
{
public void processMouseEvent(MouseEvent e)
{
if (e.isControlDown())
{
// Fix for 4234053. Filter out the Control Key from the list.
// ie., don't allow CTRL key deselection.
e = new MouseEvent( (Component) e.getSource(), e.getID(),
e.getWhen(),
e.getModifiers() ^ InputEvent.CTRL_MASK,
e.getX(), e.getY(), e.getClickCount(),
e.isPopupTrigger());
}
super.processMouseEvent(e);
}
};