That is the answer I received from the theme developer:
That must be because that plugin must have OptionTree builtin, but is using a very old version, tell the plugin author to upgrade to the latest OptionTree to fix it.
So I guess even the error message shows it is coming from the theme, it is the plugin that causes the problem after all.