Solution to workspace.xml problem.

Accidentally committed this file to the repo by mistake. Hopefully this will stop it trying to add itself back again and being a nuisance