When you delete a ware folder (which is opened in devstudio), and restore it, if you try to migrate, ware source explorer is not refreshed