protected ConvertController initializeController(ConvertPane pane,
			SelectionDrawer drawer, Automaton automaton) {
		return new PDAConvertController(pane, drawer,
				(PushdownAutomaton) automaton);
	}