public Object[] highlightUntransformed() {
		HashSet unselectedSet = new HashSet(objectToProduction.keySet());
		unselectedSet.removeAll(alreadyDone);
		Object[] unselected = unselectedSet.toArray();
		drawer.clearSelected();
		for (int i = 0; i < unselected.length; i++)
			if (unselected[i] instanceof State)
				drawer.addSelected((State) unselected[i]);
			else
				drawer.addSelected((Transition) unselected[i]);
		convertPane.getAutomatonPane().repaint();
		return unselected;
	}