109110111112113114115116117118119
IndexManager im=(IndexManager)iter.next(); im.force(); } for(Iterator iter=dataManagers.values().iterator();iter.hasNext();){ DataManager dm=(DataManager)iter.next(); dm.force(); } } } public synchronized void clear() throws IOException{