Revert "Delete workspace.xml"

This reverts commit 7d25fc3411a5cf78afd1fa1a356d04158a389723.