808809810811812813814815816817818
} for (Iterator it = _pages.iterator(); it.hasNext();) { final PageCtrl pgc = (PageCtrl)it.next(); try { pgc.destroy(); } catch (Throwable ex) { log.warning("Failed to destroy "+pgc, ex); } }