scala-ide/scala-ide — pull request #256 by misto (2012-12-10 17:22:53+00:00)
Title: Avoid race condition in renaming by running on the PC thread.

Fixes #1001381