workspace.xml added to .gitignore