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