I didn’t find this issue, but I did notice some old depreciated functions that I’ve fixed.
I should also note that the Theme Classes and Emoticon functions were moved to sub-plugins since version 2.3. These sub-plugins are not doing proper checks yet, so some folks may not know that they need to activate the WP Super Edit plugin and the WP Super Edit Theme Classes plugin.
Theme Classes will show up in some places in the editor and you should be able to use the Custom CSS Classes drop-down that can be added as a “button”. I think it will only show single classes, so you can have “.colorfull-border {}” but not “body .colorfull-border {}”.
I also took notice of a suggestion sent in and hopefully I have removed as many error warnings as possible.
If you have direct information about this issue and I haven’t fixed the problem, please let me know.