Added workspace.xml, though not sure it should be in git.