} else System.out.println("NO SELECTION YET");  sel = m;
else if (! b && sel == m) m.setSelected(true);
    public void setSelected(ButtonModel m, boolean b)    {    if ((m == sel) && (b == true))	    {	// clicked on same item twice.	System.out.println("PRESSED TWICE:" + m + ", sel=" + sel);		return;	    }			if (sel != null)	    {		System.out.println("DESELECTING: " + sel);	sel.setSelected(! b);		AbstractButton but = FindButton(sel);		if (but != null)		    {	    System.out.println("REPAINT-REQUEST: " + but.text);			//but.revalidate();			but.repaint();		    }	    }	else		System.out.println("NO SELECTION YET");		sel = m;    }