workspace.xml updated