scala-ide/scala-ide-play2 — pull request #181 by dragos (2013-08-12 11:59:46+00:00)
Title: Remove dead-code depending on sdt.core preferences.

This code was using sdt.core preferences for no reason.

The only thing it was supposed to do is show an empty preference page node.