public ConfigurationController(ConfigurationPane pane,
			AutomatonSimulator simulator, SelectionDrawer drawer,
			Component component) {
		this.configurations = pane;
		this.simulator = simulator;
		this.drawer = drawer;
		this.component = component;
		changeSelection();
		this.configurations.addSelectionListener(this);
		this.originalConfigurations = (Configuration[]) configurations
				.getConfigurations();
		// for(int k = 0; k < originalConfigurations.length; k++){
		// Configuration current = originalConfigurations[k];
		// if(current instanceof TMConfiguration){
		// TMConfiguration currentTM = (TMConfiguration)current;
		// originalConfigurations[k] = (Configuration)currentTM.clone();
		// }
		// }
	}