scala-ide/scala-ide-play2 — pull request #163 by sschaef (2013-07-06 22:21:11+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.