boolean isCaseSensitive= ENABLED.equals(fWorkingValues.get(PREF_COMPILER_TASK_CASE_SENSITIVE)); fCaseSensitiveField.setSelection(isCaseSensitive);
	private void unpackTodoTasks() {		String currTags= (String) fWorkingValues.get(PREF_COMPILER_TASK_TAGS);			String currPrios= (String) fWorkingValues.get(PREF_COMPILER_TASK_PRIORITIES);		String[] tags= getTokens(currTags, ","); //$NON-NLS-1$		String[] prios= getTokens(currPrios, ","); //$NON-NLS-1$		ArrayList elements= new ArrayList(tags.length);		for (int i= 0; i < tags.length; i++) {			TodoTask task= new TodoTask();			task.name= tags[i].trim();			task.priority= (i < prios.length) ? prios[i] : PRIORITY_NORMAL;			elements.add(task);		}		fTodoTasksList.setElements(elements);				boolean isCaseSensitive= ENABLED.equals(fWorkingValues.get(PREF_COMPILER_TASK_CASE_SENSITIVE));		fCaseSensitiveField.setSelection(isCaseSensitive);	}