The junit module contains tools to support junit testing. The current version has just one class: GeneralTests. This module does a number of consistency tests on classes * It checks that the hashcode and equals functions are implemented correctly. So that equal objects have equal hashcode and return equals=true, while nonequal return equals=false (and warns when hashcodes are equal). * It checks also the toString function, doing a pattern match against the expected format.