Comment by jluxenberg

"He" has been the default personal pronoun for a very long time. See the dictionary (second definition): http://www.merriam-webster.com/dictionary/he