A DatastoreRecorder object is used in the program to invoke
commitState() on an FE_Datastore object when commit() is
invoked on a Domain. The class is included in the framework so that
the Domain class does not have to be modified for FE_Datastore
objects.