PREF_COMPILER_TASK_TAGS, PREF_COMPILER_TASK_PRIORITIES, PREF_COMPILER_TASK_CASE_SENSITIVE
PREF_COMPILER_TASK_TAGS, PREF_COMPILER_TASK_PRIORITIES
	protected final String[] getAllKeys() {		return new String[] {			PREF_COMPILER_TASK_TAGS, PREF_COMPILER_TASK_PRIORITIES, PREF_COMPILER_TASK_CASE_SENSITIVE		};		}	