public Transition modifyTransition(Transition transition, TableModel model) {
		String input = (String) model.getValueAt(0, 0);
		String pop = (String) model.getValueAt(0, 1);
		String push = (String) model.getValueAt(0, 2);
		PDATransition t = (PDATransition) transition;
		try {
			return new PDATransition(t.getFromState(), t.getToState(), input,
					pop, push);
		} catch (IllegalArgumentException e) {
			reportException(e);
			return null;
		}
	}