Add DocumentManager in Core. Modify mutex header when using singleton.