docs: private void throwParsingError(String[] tokenNames, RecognitionException e) {
      		String hdr = getErrorHeader(e);
      		String msg = getErrorMessage(e, tokenNames);
      		
      		throw new EventFilterParsingException(String.format("%s %s", hdr, msg), e);
      	}