public ConvertController(ConvertPane pane, SelectionDrawer drawer,
			Automaton automaton) {
		this.convertPane = pane;
		this.automaton = automaton;
		this.table = pane.getTable();
		this.drawer = drawer;

		table.getSelectionModel().addListSelectionListener(
				new ListSelectionListener() {
					public void valueChanged(ListSelectionEvent e) {
						changeSelection();
					}
				});
	}