Bug 55497 [syntax highlighting] Support case-insensitive Task Tags in JavaCommentScanner
Following a JDT/Core change. Preference pages already support it.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/TodoTaskConfigurationBlock.java
} else {
				if (PRIORITY_HIGH.equals(task.priority)) {
					return PreferencesMessages.getString("TodoTaskConfigurationBlock.markers.tasks.high.priority"); 
				} else if (PRIORITY_NORMAL.equals(task.priority)) {
					return PreferencesMessages.getString("TodoTaskConfigurationBlock.markers.tasks.normal.priority"); 
				} else if (PRIORITY_LOW.equals(task.priority)) {
					return PreferencesMessages.getString("TodoTaskConfigurationBlock.markers.tasks.low.priority"); 
				}
				return ""; 
			}	
		}
	}
	
	private static final int IDX_ADD= 0;
	private static final int IDX_EDIT= 1;
	private static final int IDX_REMOVE= 2;
	
	private IStatus fTaskTagsStatus;
	private ListDialogField fTodoTasksList;
	private SelectionButtonDialogField fCaseSensitiveField;
	public TodoTaskConfigurationBlock(IStatusChangeListener context, IJavaProject project) {
		super(context, project);
		
		fCaseSensitiveField= new SelectionButtonDialogField(SWT.CHECK);
		fCaseSensitiveField.setLabelText(PreferencesMessages.getString("TodoTaskConfigurationBlock.casesensitive.label")); 
		
		TaskTagAdapter adapter=  new TaskTagAdapter();
		String[] buttons= new String[] {
			 PreferencesMessages.getString("TodoTaskConfigurationBlock.markers.tasks.add.button"), 
			 PreferencesMessages.getString("TodoTaskConfigurationBlock.markers.tasks.edit.button"),