int idx; while ((idx = queue.indexOf(page)) > -1) queue.remove(idx);
		public void remove(DOMPage page) {			int idx;			while ((idx = queue.indexOf(page)) > -1)				queue.remove(idx);			map.remove(page.page.getPageNum());		}