scala-ide/scala-ide — pull request #559 by dotta (2013-10-07 17:30:12+00:00)
Title: Backport/518 and 533

backport to 3.0.x
review by @dragos