Fixed generation of GWT extension.