public void uninstallDefaults(AbstractButton b) { super.uninstallDefaults(b); defaults_initialized = false; }