I think most tend to defer to 'he' when no specific gender is known.