scala-ide/scala-worksheet — pull request #150 by sschaef (2013-07-06 22:21:44+00:00)
Title: Resolve compiler errors due to changes in scala-ide master

This PR is required to keep source compatibility with scala-ide/scala-ide#432.