scala-ide/scala-ide — pull request #360 by dragos (2013-03-25 11:18:36+00:00)
Title: Avoid workspace-wide locks when building.

There is no reason to lock the workspace when building a project. Markers already
lock the required resources, and the build should just lock the current project.

Fixed #1001631.

(should be backported)