scala-ide/scala-ide — pull request #734 by huitseeker (2014-07-09 16:21:26+00:00)
Title: Merge master into platform/Luna

This includes the #733 PR, which should reestablish the luna nightly.