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
Hashtable actualOptions= JavaCore.getOptions();
		boolean hasChanges= false;
		for (int i= 0; i < allKeys.length; i++) {
			String key= allKeys[i];
			String val=  (String) fWorkingValues.get(key);
			String oldVal= (String) actualOptions.get(key);
			hasChanges= hasChanges | !val.equals(oldVal);
			
			actualOptions.put(key, val);
		}
		
		if (hasChanges) {
			String title= JavaUIMessages.getString("JavaBuilderPreferencePage.needsbuild.title"); 
			String message= JavaUIMessages.getString("JavaBuilderPreferencePage.needsbuild.message"); 
			MessageDialog dialog= new MessageDialog(getShell(), title, null, message, MessageDialog.QUESTION, new String[] { IDialogConstants.YES_LABEL, IDialogConstants.NO_LABEL, IDialogConstants.CANCEL_LABEL }, 2);
			int res= dialog.open();
			if (res != 0 && res != 1) {
				return false;
			}
			
			JavaCore.setOptions(actualOptions);
			if (res == 0) {
				doFullBuild();
			}
		}
		return super.performOk();
	}
	private void updateValues() {
		IStatus status= validateResourceFilters();