alexk=Alexander Kogtenkov <alexk@eiffel.com>
HalW=Hal Webre <halw@eiffel.com>
jfiat=Jocelyn Fiat <jfiat@eiffel.com>
king=Ian King <king@eiffel.com>
larryl=Liu Ming <larryl@eiffel.com>
manus=Emmanuel Stapf <manus@eiffel.com>
tedf=Tao Feng <tedf@eiffel.com>