fix for saving workspace
Merge pull request #400 from dart-lang/wks

fix for saving workspace