scala-ide/scala-ide — pull request #438 by dragos (2013-06-04 16:00:54+00:00)
Title: [Backport] prs 414 417 422

Backport a few pull requests:

* #414
* #417
* #422