Bug 15956 Cannot set Preferences>Builder>Abort build preferences
checking the checkbox has no effect
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaBuilderPreferencePage.java
import org.eclipse.jdt.core.JavaCore;
import org.eclipse.jdt.internal.ui.JavaPlugin;
import org.eclipse.jdt.internal.ui.JavaUIMessages;
import org.eclipse.jdt.internal.ui.dialogs.StatusInfo;
import org.eclipse.jdt.internal.ui.dialogs.StatusUtil;
import org.eclipse.jdt.internal.ui.util.ExceptionHandler;
import org.eclipse.jdt.internal.ui.wizards.dialogfields.DialogField;
import org.eclipse.jdt.internal.ui.wizards.dialogfields.IDialogFieldListener;
import org.eclipse.jdt.internal.ui.wizards.dialogfields.LayoutUtil;
import org.eclipse.jdt.internal.ui.wizards.dialogfields.SelectionButtonDialogField;
import org.eclipse.jdt.internal.ui.wizards.dialogfields.StringDialogField;
public class JavaBuilderPreferencePage extends PreferencePage implements IWorkbenchPreferencePage {
	private StringDialogField fResourceFilterField;
	private StatusInfo fResourceFilterStatus;
	
	private SelectionButtonDialogField fAbortInvalidClasspathField;
	
	private Hashtable fWorkingValues;
	private static final String PREF_RESOURCE_FILTER= JavaCore.CORE_JAVA_BUILD_RESOURCE_COPY_FILTER;
	private static final String PREF_BUILD_INVALID_CLASSPATH= JavaCore.CORE_JAVA_BUILD_INVALID_CLASSPATH;
	private static final String ABORT= JavaCore.ABORT;
	private static final String IGNORE= JavaCore.IGNORE;
	private static String[] getAllKeys() {
		return new String[] {
			PREF_RESOURCE_FILTER, PREF_BUILD_INVALID_CLASSPATH
		};	
	}
	
	public JavaBuilderPreferencePage() {
		setPreferenceStore(JavaPlugin.getDefault().getPreferenceStore());