public void actionPerformed(ActionEvent e) {
		SelectionDrawer drawer = new SelectionDrawer(automaton);
		NondeterminismDetector d = NondeterminismDetectorFactory
				.getDetector(automaton);
		State[] nd = d.getNondeterministicStates(automaton);
		for (int i = 0; i < nd.length; i++)
			drawer.addSelected(nd[i]);
		AutomatonPane ap = new AutomatonPane(drawer);
		NondeterminismPane pane = new NondeterminismPane(ap);
		environment.add(pane, "Nondeterminism", new CriticalTag() {
		});
		environment.setActive(pane);
	}