public void setFrozen(Configuration configuration) {
		ConfigurationButton button = (ConfigurationButton) configurationToButtonMap
				.get(configuration);
		if (button == null)
			return;
		if (button.state == ConfigurationButton.NORMAL)
			button.setState(ConfigurationButton.FREEZE);
			button.doClick();
	}