scala-ide/scala-ide — pull request #520 by skyluc (2013-09-02 15:38:23+00:00)
Title: Backport/511

Backport of #511
It is a backport for Juno/Kepler only.