13125 ----- Issue 3922: Add ClassHierarchy Checks Issue 3920: String has extension for *graphics Issue 3896: 1.3 core has wrong theme enabled Issue 3769: Printing an object depends on #isKindOf: -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.