314315316317318319320321322323324
} for (String hl: caseInsensitiveRegexHighlights) { alert.addRegexCaseInsensitiveHighlight(hl); } scan.addAlert(alert); } } public List<String> getFileExtensionList() { return scanState.getFileExtensionList();