Thanks for your replies.
I found this similar issue and tried the solution on the last page (deleting a bunch of stuff, including caches and settings) but didn't have time to test it. I suspect it won't be enough though...
Topic:
Developer Tools & Services
SubTopic:
Xcode