@Override
  public TextAttributesKey @NotNull [] getTokenHighlights(IElementType tokenType) {
    return pack(ATTRIBUTES.get(tokenType));
  }
@Override
  public TextAttributesKey @NotNull [] getTokenHighlights(IElementType tokenType)