and the workspace.xml