public void doAll() {
		ListSelectionModel model = editingGrammarView.getSelectionModel();
		while (need.length != 0) {
			model.clearSelection();
			for (int i = 0; i < need.length; i++)
				model.addSelectionInterval(need[i], need[i]);
			convertSelected();
		}
		mainLabel.setText("All productions completed.");
		editingGrammarView.dehighlight();
	}