scala-ide/scala-ide — pull request #729 by skyluc (2014-07-01 13:27:00+00:00)
Title: Scala Installations support

Same as #718, but without serialized classpath container support.