You analysis seem to be correct - I've opened JBIDE-12048 to track this.
About the generated folder then I'm not enough expert of GWT to know where /generated-sources/gwt should be added. Please comment on JBIDE-12048 with details and if possible add a minimal test project?