code: private String getHTMLColor(SToken token) {
  
      if (!markedAndCovered.containsKey(token)) {
        return null;
      }
  
      /**
       * Since the range in markedAndCovered is from 1 up to 8, we have to
       * decrease the value, for matching the colors in KWIC.
       */
      int color = (int) (long) markedAndCovered.get(token);
      color = Math.min(color > 0 ? color - 1 : color,
              MatchedNodeColors.values().length - 1);
  
      return MatchedNodeColors.values()[color].getHTMLColor();
    }
docs: Checks, if a specific token is marked as matching token and returns a HTML
  color string.
  
  @return is null when token is not marked