public void CopyTo(ExtensionNode[] array, int index) { if (list != null) list.CopyTo (array, index); }