scala-ide/scala-ide — pull request #464 by dragos (2013-07-11 12:41:35+00:00)
Title: Fix the build for 2.11

Using @adriaanm's commits, this should fix the build for Scala master (and fix all the failed PR builds once merged).