If we make sure the generated files stay out of the sourcepath (or move them out after generation, eg to target/gwtgen-properties), we wouldn't need this, would we?