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