Wed, 03 Oct 2012 17:44:25 +0100Delete class elements that are not used (clean up code).
Mario de Sousa <msousa@fe.up.pt> [Wed, 03 Oct 2012 17:44:25 +0100] rev 664
Delete class elements that are not used (clean up code).