Recompilation of GWT code