scala-ide/scala-ide — pull request #510 by skyluc (2013-08-27 10:01:20+00:00)
Title: Backport/508

Backport of #508 into the 3.0.x-juno branch.