Revert "Delete workspace.xml"

This reverts commit a51d51047bdc01c676423dac658d901aeacdc01f.