I've been missing that one as well. I can provide patches if desired. -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
To unsubscribe from this group, send email to google-web-toolkit-contributors+unsubscribegooglegroups.com or reply to this email with the words "REMOVE ME" as the subject.
