Thank you for hint Rogello. I cleaned up all the caches, but it didn't help. Then I remembered that SuperDev mode creates some temporary files under /tmp. After cleaning up tmp by rm -rf /tmp/gwt* everything starts to work as expected.
-- You received this message because you are subscribed to the Google Groups "GWT Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/google-web-toolkit. For more options, visit https://groups.google.com/d/optout.
