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
this.buildList.select(currentIndex - 1);
        }
    }
    /**
     * Performs special processing when this page's Defaults button has been pressed.
     * In this case change the defaultOrderButton to have it's selection set to true.
     */
    protected void performDefaults() {
        this.defaultOrderButton.setSelection(true);
        defaultsButtonSelected(true);
        maxItersField.loadDefault();
        super.performDefaults();
    }
    /** 
     * OK has been pressed. If the defualt button is pressed then reset the build order to false;
     * otherwise set it to the contents of the list.
     */
    public boolean performOk() {
        String[] buildOrder = null;
        boolean useDefault = defaultOrderButton.getSelection();
        
        if (!useDefault)
            buildOrder = buildList.getItems();
        
        
        IWorkspaceDescription description = getWorkspace().getDescription();
        description.setBuildOrder(buildOrder);
        description.setMaxBuildIterations(maxItersField.getIntValue());
        try {
            getWorkspace().setDescription(description);