workspace.xml ignored