protected void changeSelection() {
		ListSelectionModel model = table.getSelectionModel();
		int min = model.getMinSelectionIndex(), max = model
				.getMaxSelectionIndex();
		drawer.clearSelected();
		if (min == -1) {
			convertPane.getAutomatonPane().repaint();
			return;
		}
		for (; min <= max; min++) {
			if (!model.isSelectedIndex(min))
				continue;
			Production p = table.getGrammarModel().getProduction(min);
			Object o = productionToObject.get(p);
			if (o == null)
				continue;
			if (o instanceof State)
				drawer.addSelected((State) o);
			else
				drawer.addSelected((Transition) o);
		}
		convertPane.getAutomatonPane().repaint();
	}