async Task MigrateFiles(ProgressMonitor monitor)
        {
            var migrator = new ProjectFileMigrator();

            migrator.MigrateFiles(Project, sharedProject);

            await SaveProject(monitor, Project);
            await SaveProject(monitor, sharedProject);
        }
		async Task MigrateFiles (ProgressMonitor monitor)
		{
			var migrator = new ProjectFileMigrator ();
			migrator.MigrateFiles (Project, sharedProject);

			await SaveProject (monitor, Project);
			await SaveProject (monitor, sharedProject);
		}