scala-ide/scala-ide — pull request #519 by dotta (2013-09-02 14:09:29+00:00)
Title: Merge/3.0.x into 3.0.x juno

merging 3.0.x into 3.0.x-juno.