scala-ide/scala-search — pull request #64 by mads379 (2013-07-01 09:16:50+00:00)
Title: Fixes tests on Jenkins.

Fixes builds on Jenkins and is also more correct ;)