ignored workspace.xml properly