workspace.xml modified