scala-ide/scala-ide — pull request #560 by dotta (2013-10-08 09:49:01+00:00)
Title: Merge/3.0.x into 3.0.x juno

merge release/3.0.x into release/3.0.x-juno