Removed dumpTestDefs()