Fix refresh in GWT development mode