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
Composite composite= new Composite(parent, SWT.NONE);
		composite.setLayout(layout);
		DialogField resourceFilterLabel= new DialogField();
		resourceFilterLabel.setLabelText(JavaUIMessages.getString("JavaBuilderPreferencePage.filter.description")); 
		resourceFilterLabel.doFillIntoGrid(composite, 2);
		LayoutUtil.setWidthHint(resourceFilterLabel.getLabelControl(null), convertWidthInCharsToPixels(80));
		fResourceFilterField.doFillIntoGrid(composite, 2);
		LayoutUtil.setHorizontalGrabbing(fResourceFilterField.getTextControl(null));
		LayoutUtil.setWidthHint(fResourceFilterField.getTextControl(null), convertWidthInCharsToPixels(50));
		fAbortInvalidClasspathField.doFillIntoGrid(composite, 2);
		return composite;
	}
	
	/**
	 * Initializes the current options (read from preference store)
	 */
	public static void initDefaults(IPreferenceStore store) {
	}	
	
	/*
	 * @see IWorkbenchPreferencePage#init(IWorkbench)
	 */
	public void init(IWorkbench workbench) {
	}
	/*
	 * @see IPreferencePage#performOk()
	 */
	public boolean performOk() {
		String[] allKeys= getAllKeys();