id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
243	forall example needs accompanying JUnit test	Stephen Siegel	bperry		task	closed	major	Release 1.0	test	1.0	fixed	forall quantifier test