Paul, did you use GWT (or a form of it) for GMail?
I am curious about the evolution of GWT from an internal Google tool into its current form as an open source platform. Did the JS compiler tools you describe simply evolve into GWT?
I see parts of GMail that could be highly custom GWT. Google Mashup Editor on the other hand is pretty obviously GWT.