public void actionPerformed(ActionEvent e) {
		if (automaton.getInitialState() == null) {
			JOptionPane.showMessageDialog(Universe
					.frameForEnvironment(environment),
					"The automaton should have " + "an initial state.");
			return;
		}
		AutomatonChecker ac = new AutomatonChecker();
		if (ac.isNFA(automaton)) {
			JOptionPane.showMessageDialog(Universe
					.frameForEnvironment(environment), "This isn't a DFA!");
			return;
		}
		// Show the new environs pane.
		FiniteStateAutomaton minimized = (FiniteStateAutomaton) automaton
				.clone();
		MinimizePane minPane = new MinimizePane(minimized, environment);
		environment.add(minPane, "Minimization", new CriticalTag() {
		});
		environment.setActive(minPane);
	}