Fixes http://code.google.com/p/google-web-toolkit/issues/detail?id=3611 -- refresh did not work correctly when -gen was used. 

Patch by: amitmanjhi
Review by: robertvawter (desk review)



git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@5297 8db76d5a-ed1c-0410-87a9-c151d255dfc7
3 files changed