scala/scala — pull request #3502 by retronym (2014-02-10 16:22:28+00:00)
Title: Fix regression for using Scala IDE on scala-library

Review by @dragos