Created bug report 4158 http://code.google.com/p/google-web-toolkit/issues/detail?id=4158
At least one other person had the same problem: http://teamcity.jetbrains.com/viewLog.html?buildId=26004&tab=buildResultsDiv&buildTypeId=bt15 - Martin --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---
