scala-ide/scala-worksheet — pull request #148 by sschaef (2013-06-30 18:37:41+00:00)
Title: Resolve compiler errors due to code changes in scala-ide master

Changes needed to resolve compiler errors due to scala-ide/scala-ide#454