Hi, I think this is a simple post-fence error. I added a comment including a patch to the issue. Please see and check it.
http://code.google.com/p/google-web-toolkit/issues/detail?id=3896&sort=-id Thanks, Yoshiki Shibata --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---
