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
for (int i= 0; i < filters.length; i++) {
			if (i > 0) {
				buf.append(',');
			}
			buf.append(filters[i]);
		}
		fWorkingValues.put(PREF_RESOURCE_FILTER, buf.toString());
		return new StatusInfo();
	}
	
	private void updateStatus(IStatus status) {
		setValid(!status.matches(IStatus.ERROR));
		StatusUtil.applyToStatusLine(this, status);
	}
	private void doFullBuild() {
		ProgressMonitorDialog dialog= new ProgressMonitorDialog(getShell());
		try {
			dialog.run(true, true, new IRunnableWithProgress() {
				public void run(IProgressMonitor monitor) throws InvocationTargetException {
					try {
						JavaPlugin.getWorkspace().build(IncrementalProjectBuilder.FULL_BUILD, monitor);
					} catch (CoreException e) {
						throw new InvocationTargetException(e);
					}
				}
			});
		} catch (InterruptedException e) {
			
		} catch (InvocationTargetException e) {
			String title= JavaUIMessages.getString("JavaBuilderPreferencePage.builderror.title");