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
* @param value boolean
     */
    private void setBuildOrderWidgetsEnablement(boolean value) {
        
        
        Control[] children = this.buttonComposite.getChildren();
        for (int i = 0; i < children.length; i++) {
            children[i].setEnabled(value);
        }
    }
    /**
     * Return a sorted array of the names of the projects that are already in the currently 
     * displayed names.
     * @return String[]
     * @param allProjects - all of the projects in the workspace 
     * @param currentlyDisplayed - the names of the projects already being displayed
     */
    private String[] sortedDifference(IProject[] allProjects,
            String[] currentlyDisplayed) {
        TreeSet difference = new TreeSet();
        for (int i = 0; i < allProjects.length; i++) {
            if (!includes(currentlyDisplayed, allProjects[i].getName()))
                difference.add(allProjects[i].getName());
        }
        String[] returnValue = new String[difference.size()];
        difference.toArray(returnValue);
        return returnValue;
    }
}