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
*/
    public void init(IWorkbench workbench) {
        this.workbench = workbench;
        setPreferenceStore(workbench.getPreferenceStore());
    }
    /**
     * Move the current selection in the build list down.
     */
    private void moveSelectionDown() {
        
        if (this.buildList.getSelectionCount() == 1) {
            int currentIndex = this.buildList.getSelectionIndex();
            if (currentIndex < this.buildList.getItemCount() - 1) {
                String elementToMove = this.buildList.getItem(currentIndex);
                this.buildList.remove(currentIndex);
                this.buildList.add(elementToMove, currentIndex + 1);
                this.buildList.select(currentIndex + 1);
            }
        }
    }
    /**
     * Move the current selection in the build list up.
     */
    private void moveSelectionUp() {
        int currentIndex = this.buildList.getSelectionIndex();
        
        if (currentIndex > 0 && this.buildList.getSelectionCount() == 1) {
            String elementToMove = this.buildList.getItem(currentIndex);
            this.buildList.remove(currentIndex);
            this.buildList.add(elementToMove, currentIndex - 1);