scala-ide/scala-search — pull request #67 by mads379 (2013-07-30 14:43:32+00:00)
Title: Don't lock workspace when indexing project

There's no reason to lock the workspace when indexing a given
project.

Any changes made to the workspace during indexing will eventually be
reported through the events sent by Eclipse and the index will be
updated accordingly.

Fixes #1001795