This class should be in `org.scalaide.ui.internal.preferences`