> It was there before r9839 > http://code.google.com/p/google-web-toolkit/source/detail?r=9839
That type had been renamed in one of the other patches. I'm submitting the patches out-of-order relative to how they were written, so I'll just fix it up. -- Bob Vawter Google Web Toolkit Team -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
