public void actionPerformed(ActionEvent event) {
		JFrame frame = Universe.frameForEnvironment(environment);
		if (environment.getAutomaton().getInitialState() == null) {
			JOptionPane.showMessageDialog(frame,
					"Conversion requires an automaton\nwith an initial state!",
					"No Initial State", JOptionPane.ERROR_MESSAGE);
			return;
		}
		if (environment.getAutomaton().getFinalStates().length == 0) {
			JOptionPane.showMessageDialog(frame,
					"Conversion requires at least\n" + "one final state!",
					"No Final States", JOptionPane.ERROR_MESSAGE);
			return;
		}
		ConvertPane pane = new ConvertPane(environment);
		environment.add(pane, "Convert FA to RE", new CriticalTag() {
		});
		environment.setActive(pane);
	}