scala-ide/scala-ide — pull request #314 by skyluc (2013-02-12 10:52:55+00:00)
Title: backport/mark occurrence preference 1001466

Backport of #299 in release/3.0.x