The impetus for this patch was an issue where dev mode had a problem and stopped prematurely. We saw no further events to the speedtracer log.
http://gwt-code-reviews.appspot.com/1361801/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
