A company as big as google will definitely use bunch of private tools for development. I doubt anyone can tell you per se. since Gmail is not an open-source project, only a google developer can answer you best, that is if he is in a position to do so.