Thanks for directing me to this issue 4141. Now, I see my case is already taken into account (in comment #3).
I'm following the issue to be notified when the problem is fixed. Tell me if you need more information, but it looks like this bug is already under control. Jerome. -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.
