7778798081828384858687
*/ public static TocManager getTocManager() { if (getDefault().tocManager == null) { synchronized (tocManagerCreateLock) { if (getDefault().tocManager == null) { getDefault().tocManager = new TocManager(); } } } return getDefault().tocManager; }