scala-ide/scala-worksheet — pull request #202 by huitseeker (2014-10-01 10:53:29+00:00)
Title: Adapt to new Utils API

Depends on https://github.com/scala-ide/scala-ide/pull/815