Fixed bug #17182: migrateWorkspaces in Install-Tool shows up even if nothing has...