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
String message= JavaUIMessages.getString("JavaBuilderPreferencePage.builderror.message"); 
			ExceptionHandler.handle(e, getShell(), title, message);
		}
	}		
	
	/*
	 * @see PreferencePage#performDefaults()
	 */
	protected void performDefaults() {
		fWorkingValues= JavaCore.getDefaultOptions();
		updateControls();
		updateValues();
		super.performDefaults();
	}
	
	private void updateControls() {
		
		String[] filters= getFilters((String) fWorkingValues.get(PREF_RESOURCE_FILTER));
		StringBuffer buf= new StringBuffer();
		for (int i= 0; i < filters.length; i++) {
			if (i > 0) {
				buf.append(", "); 
			}
			buf.append(filters[i]);			
		}
		fResourceFilterField.setText(buf.toString());
		
		fAbortInvalidClasspathField.setSelection(ABORT.equals(fWorkingValues.get(PREF_BUILD_INVALID_CLASSPATH)));
	}
}