+ If there is an encoding comment on the first line, put it above generated headers.

[git-p4: depot-paths = "//src/oedipus_lex/dev/": change = 9504]
re-bootstrap
[git-p4: depot-paths = "//src/oedipus_lex/dev/": change = 9505]