Update generated Stratego files (1.2.0.0-s40508)

Files are already tracked and thus get updated to keep a clean working
directory.