scala-ide/scala-search — pull request #78 by dotta (2013-10-11 13:21:29+00:00)
Title: Fixed source compatibility with latest Scala IDE master

Source compatibility with Scala IDE master was broken since
scalaide/scalaide@cf73ce8a4c01c97a476f13e6af5f2237895e30dc