null/*taskTags*/,
null/*taskPriorities*/,
true/*taskCaseSensitive*/);
} else {
scanner =
new RecoveryScanner(
false,/*tokenizeWhiteSpace*/
false,/*checkNonExternalizedStringLiterals*/
compilerOptions.sourceLevel,
compilerOptions.complianceLevel,
null/*taskTags*/,