public void setPressed(boolean b)
public void setPressed(boolean p)
    public void setPressed(boolean b)      {      if (! isEnabled())        return;            super.setPressed(b);            // setPressed(false) == mouse release on us,      // if we were armed, we flip the selected state.      if (!b && isArmed())        setSelected(! isSelected());    }