scala-ide/scala-ide — pull request #691 by dragos (2014-05-13 08:59:53+00:00)
Title: Define ScalaInstallation, in preparation for multi-version support

A work-in-progress PR, but might be useful not to duplicate work.