public class DocumentNumberAllocator
extends java.lang.Object
implements java.io.Serializable
This class (which has one instance per Configuration) is used to allocate unique document
numbers. It's a separate class so that it can act as a monitor for synchronization