// taskTags, taskPriorities, isTaskCaseSensitive);
super(tokenizeComments, tokenizeWhiteSpace,
checkNonExternalizedStringLiterals, false, false,
- taskTags, taskPriorities);
+ taskTags, taskPriorities, true /*taskCaseSensitive*/);
}
/**
* Set start position negative for line comments.
- * @see org.eclipse.jdt.internal.compiler.parser.Scanner#recordComment(int)
+ * @see net.sourceforge.phpdt.internal.compiler.parser.Scanner#recordComment(int)
*/
public void recordComment(int token) {
super.recordComment(token);