ignore workspace.xml