mainButton.setDisabledIcon(new FilteredResizableIcon(new edit_paste(),
new ColorConvertOp(ColorSpace.getInstance(ColorSpace.CS_GRAY),
null)));
mainButton
.setExtraText(resourceBundle.getString("SelectAll.textExtra"));
mainButton.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
System.out.println(stamp()
+ ": button activated, selection state is "
+ mainButton.getActionModel().isSelected());
}