WORK AROUND
Name: dc32491 Date: 07/27/2001
We are currently explicitly resetting the disabled icon each time we change the
icon, using the GreyFilter:
getButton().setDisabledIcon(new ImageIcon(GrayFilter.createDisabledImage
(((ImageIcon)newIcon).getImage())));
======================================================================