id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
132	Need to shut down the dynamic factory when it is not in use	ywei	Stephen Siegel	Some dynamic factories in the program never have the shutdown() method called after their creation. That will cause the Java garbage collector to try to garbage collect some unreferenced dynamic factory, but since they are not deleted, the ValidityChecker class in CVC3 API will throw warnings. So it is better to make sure that every dynamic factory has its shutdown() method called.	defect	closed	minor		value		fixed