/** Forces finalization of nodes for given info. * Called from finalizer of Info. */ final void finalizeNodes () { ChildrenArray arr = (ChildrenArray)array.get (); if (arr != null) { arr.finalizeNodes (); } }
/** Forces finalization of nodes for given info. * Called from finalizer of Info. */ final void finalizeNodes () { ChildrenArray arr = (ChildrenArray)array.get (); if (arr != null) { arr.finalizeNodes (); } }