Renaming ill-named Classes in the Class Browser

A minor bug or inconvenience in Dolphin 5.1:  The class browser
doesn't let you rename a class with an inadmissible name, complaining
about the incorrect old name.  In order to see this, you may
change the name of any (junk) class in the Flipper Inspector to
the string 'T*H'.  Then try to rename it in the Class Browser.

rthappe