scala-ide/scala-ide — pull request #415 by dragos (2013-05-22 16:06:59+00:00)
Title: [backport] two fixes

Backport two fixes to the 3.0.x branch.