updating workspace xml with previous value and renaming editors
updating workspace xml with previous value and renaming editors

mumuki/mumuki-gobstones-runner,mumuki/mumuki-gobstones-runner,mumuki/mumuki-gobstones-runner,mumuki/mumuki-gobstones-runner