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 widgetSelected(SelectionEvent e) {
                removeSelection();
            }
        };
        removeButton.addSelectionListener(listener);
        removeButton.setEnabled(enableComposite);
        removeButton.setFont(font);
        setButtonLayoutData(removeButton);
    }
    /**
     * Create the field for the maximum number of iterations in the presence
     * of cycles. 
     */
    private void createMaxIterationsField(Composite composite) {
        Composite maxItersComposite = new Composite(composite, SWT.NONE);
        GridData gd = new GridData(GridData.FILL_HORIZONTAL);
        maxItersComposite.setLayoutData(gd);
        maxItersComposite.setFont(composite.getFont());
        maxItersField = new IntegerFieldEditor(
                "", IDEWorkbenchMessages.BuildOrderPreference_maxIterationsLabel, maxItersComposite) { 
            protected void doLoad() {
                Text text = getTextControl();
                if (text != null) {
                    int value = getWorkspace().getDescription()
                            .getMaxBuildIterations();
                    text.setText(Integer.toString(value));
                }
            }
            protected void doLoadDefault() {
                Text text = getTextControl();