fixing workspace.xml