scala-ide/scala-ide — pull request #424 by dragos (2013-05-31 12:09:18+00:00)
Title: Issue/fix build 211

Fix the 2.11 build. Depends on PR #422