Removed obsolete autogenerated stuff