Fixed bug #17102: migrateWorkspaces in Install-Tool doesn't show up in all relevant...