scala-ide/scala-worksheet — pull request #188 by huitseeker (2014-07-15 10:53:50+00:00)
Title: Update for the upcoming plugin-profiles 1.0.5

Similar version bumps are expected to be added to
https://github.com/scala-ide/scala-ide-play2/pull/213
https://github.com/scala-ide/scala-search/pull/90

validation expected to fail until plugin-profiles is released.