@Deprecated
    @Override
    public @Nullable TextAttributes getHighlightAttributes() {
      return super.getHighlightAttributes();
    }
@Deprecated
    @Override
    public @Nullable TextAttributes getHighlightAttributes()