I have been programmed to use "he" in those situations. Used "they" until my English professors broke me of that habit. Anyone who whines about male-dominance (have actually had two people do that to me) gets nothing but a look of pity.