scala-ide/scala-ide-play2 — pull request #196 by dotta (2013-10-17 08:23:41+00:00)
Title: Fixed source compatibility with Scala IDE master

Source compatibility with master was broken by this recent commit
scalaide/scalaide@cf73ce8. Furthermore, this patch depends on
https://github.com/scala-ide/scala-ide/pull/571

In fact, I expect the test ``testScalaResolverNeg`` to fail until the above PR is merged.