public SimulatorPane(Automaton automaton, AutomatonSimulator simulator,
			Configuration[] configurations, Environment env, boolean blockStep) {
		this.automaton = automaton;
		this.simulator = simulator;
		initView(configurations, env, blockStep);
	}