id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
179	NullPointerException in DynamicFactory constructor	zirkel	Stephen Siegel	"This is caused by verificationFactory being set to null in edu.udel.cis.vsl.tass.verify.Verification.verify()

{{{
Exception in thread ""main"" java.lang.NullPointerException
	at edu.udel.cis.vsl.tass.dynamic.impl.DynamicFactory.<init>(DynamicFactory.java:98)
	at edu.udel.cis.vsl.tass.dynamic.DynamicModule.newDynamicFactory(DynamicModule.java:16)
	at edu.udel.cis.vsl.tass.verify.urgent.UrgentVerificationFactory.newValueFactory(UrgentVerificationFactory.java:61)
	at edu.udel.cis.vsl.tass.verify.IF.Factories.<init>(Factories.java:38)
	at edu.udel.cis.vsl.tass.verify.Verification.verify(Verification.java:61)
	at edu.udel.cis.vsl.tass.verify.Verification.verify(Verification.java:34)
	at edu.udel.cis.vsl.tass.TASS.verify(TASS.java:548)
	at edu.udel.cis.vsl.tass.TASS.main(TASS.java:616)

}}}"	defect	closed	major	Release 1.0	verify	1.0	worksforme	nullpointer, dynamic, verify, verificationFactory, factory