scala-ide/scala-worksheet — pull request #157 by dotta (2013-09-10 11:24:11+00:00)
Title: Fixed source compatibility for latest master

Small fix due to Scala IDE PR #516
(https://github.com/scala-ide/scala-ide/pull/516)