About the ``preferences`` parameter, it is neither a Scala nor a Java pref store. It's a [semantichighlighting.Preferences`](https://github.com/scala-ide/scala-ide/blob/master/org.scala-ide.sdt.core/src/scala/tools/eclipse/semantichighlighting/Preferences.scala).