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
fWorkingValues.put(PREF_RESOURCE_FILTER, fAbortInvalidClasspathField.isSelected() ? ABORT : IGNORE);
		
		updateStatus(status);
	}
	
	private String[] getFilters(String text) {
		StringTokenizer tok= new StringTokenizer(text, ","); 
		int nTokens= tok.countTokens();
		String[] res= new String[nTokens];
		for (int i= 0; i < res.length; i++) {
			res[i]= tok.nextToken().trim();
		}
		return res;
	}
	
	
	private IStatus validateResourceFilters() {
		IWorkspace workspace= ResourcesPlugin.getWorkspace();
				
		String text= fResourceFilterField.getText();
		String[] filters= getFilters(text);
		for (int i= 0; i < filters.length; i++) {
			String fileName= filters[i].replace('*', 'x');
			IStatus status= workspace.validateName(fileName, IResource.FILE);
			if (status.matches(IStatus.ERROR)) {
				String message= JavaUIMessages.getFormattedString("JavaBuilderPreferencePage.filter.invalidsegment.error", status.getMessage()); 
				return new StatusInfo(IStatus.ERROR, message);
			}
		}
		StringBuffer buf= new StringBuffer();