I started to get the following error (e.g. after a new class is created and TWS is trying to open it in editor automatically):
[attachment=52:Index locked.jpg]
And also now when I was trying to pull the latest changes from salesforce, I'm getting another error:
[attachment=53:Salesforce pull failed.jpg]
It looks like both errors are related (or could be) and the issue is caused by the WTS crash (which in fact had happened to me). Now I'm wondering what my chances are to have the index unlocked, and how to fix the project to continue my work.