replaced the dead url mail.cs.stonybrook.edu with mail.google.com
Authored by: kifer 2016-02-09
Parent: [r8633]
Child: [r8635]