for (Iterator i = queue.iterator(); i.hasNext();) {
for (Iterator i = map.values().iterator(); i.hasNext();) {
		public void flush() {			DOMPage page;			for (Iterator i = queue.iterator(); i.hasNext();) {				page = (DOMPage) i.next();				if (page.isDirty())					page.write();			}		}