String option = outputProperties.getProperty(EXistOutputKeys.HIGHLIGHT_MATCHES, "elements"); if(option.equals("both"))
String option = getProperty(EXistOutputKeys.HIGHLIGHT_MATCHES, "elements"); if (option.equals("both"))
	protected int getHighlightingMode() {		String option = outputProperties.getProperty(EXistOutputKeys.HIGHLIGHT_MATCHES, "elements");		if(option.equals("both"))			return TAG_BOTH;		else if(option.equals("elements"))			return TAG_ELEMENT_MATCHES;		else if(option.equals("attributes"))			return TAG_ATTRIBUTE_MATCHES;		else			return TAG_NONE;	}