private void highlightRemaining() {
		editingGrammarView.dehighlight();
		mainLabel.setText("Productions to convert are selected.");
		for (int i = 0; i < need.length; i++)
			editingGrammarView.highlight(need[i]);
	}