public SimulateNoClosureAction(Automaton automaton, Environment environment) {
		super(automaton, environment);
		putValue(NAME, "Step by State...");
		putValue(ACCELERATOR_KEY, KeyStroke.getKeyStroke(KeyEvent.VK_R,
				MAIN_MENU_MASK + InputEvent.SHIFT_MASK));
	}