}
});
button.addPropertyChangeListener(new PropertyChangeListener() {
public void propertyChange(PropertyChangeEvent event) {
for (PropertyChangeListener listener : button.getPropertyChangeListeners())
button.removePropertyChangeListener(listener);
}
});
button.setName(null);
if (!isCalled)
throw new Error("test failed");