Fri, 21 Sep 2012 09:53:20 +0100add method for printing class_name. USE ONLY FOR DEBUGING!
Mario de Sousa <msousa@fe.up.pt> [Fri, 21 Sep 2012 09:53:20 +0100] rev 659
add method for printing class_name. USE ONLY FOR DEBUGING!