See here:
Had the same problems back then, unsure whether they got it fixed in the meantime. I worked around it by creating a new workspace (simply deleting the empty directories didn’t help afair.)
3 Likes