method

net.sourceforge.pebble.dao.DAOFactory__static_ init

method

void net.sourceforge.pebble.dao.DAOFactory()

method	void setConfiguredFactory(DAOFactory)
post	configuredFactory == factory
post	init'ed(configuredFactory)

method	DAOFactory getConfiguredFactory()
pre	init'ed(configuredFactory)
post	return_value == configuredFactory
post	init'ed(return_value)