scala-ide/scala-ide — pull request #700 by dragos (2014-05-23 14:16:28+00:00)
Title: More informative logging about resetting compilers.

Slightly changed the deprecation warning test, trying to work around possible
race condition.