scala-ide/scala-ide — pull request #598 by tbje (2013-12-10 15:59:04+00:00)
Title: Only ask for diagnostics at first install and if heap is not sufficient.

Added PreferenceStore wrapper allowing to get options.