private Highlight<Line> parseHighlight(Element e) {
if (e.getNodeName().equals("priority-highlight")) {
return parsePriorityHighlight(e);
} else if (e.getNodeName().equals("failed-highlight")) {
return new FailedHighlight();
} else if (e.getNodeName().equals("regex-highlight")) {
return parseRegexHighlight(e);
} else if (e.getNodeName().equals("custom-highlight")) {
return parseCustomHighlight(e);
}