Bug 114637 [Preferences] PlatformUI.getPreferenceStore() != WorkbenchPlugin.getPreferenceStore()
Somehow these two preference stores are no longer the same. This is causing all kinds of problems in themes because we're hooking theme listeners to one and then firing changes at another. As a result, themes just aren't working. I'm going to investigate
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/dialogs/BuildOrderPreferencePage.java
IWorkbenchPreferencePage {
    private IWorkbench workbench;
    private Button defaultOrderButton;
    private Label buildLabel;
    private List buildList;
    private Composite buttonComposite;
    private IntegerFieldEditor maxItersField;
    private String[] defaultBuildOrder;
    private String[] customBuildOrder;
    
    private boolean notCheckedBuildOrder = true;
    private final String UP_LABEL = IDEWorkbenchMessages.BuildOrderPreference_up;
    private final String DOWN_LABEL = IDEWorkbenchMessages.BuildOrderPreference_down;
    private final String ADD_LABEL = IDEWorkbenchMessages.BuildOrderPreference_add;
    private final String REMOVE_LABEL = IDEWorkbenchMessages.BuildOrderPreference_remove;
    private final String PROJECT_SELECTION_MESSAGE = IDEWorkbenchMessages.BuildOrderPreference_selectOtherProjects;
    private final String DEFAULTS_LABEL = IDEWorkbenchMessages.BuildOrderPreference_useDefaults;
    private final String LIST_LABEL = IDEWorkbenchMessages.BuildOrderPreference_projectBuildOrder;
    private final String NOTE_LABEL = IDEWorkbenchMessages.Preference_note;
    private final String REMOVE_MESSAGE = IDEWorkbenchMessages.BuildOrderPreference_removeNote;