scala-ide/scala-ide — pull request #437 by dragos (2013-06-04 15:59:37+00:00)
Title: Backport/prs 414 417 422

Backports for three PRs:

* #414
* #417
* #422