43154316431743184319432043214322432343244325
} } } finally { store.closeEnumeration(msgs); } // now we're sorted, process Iterator itr = s.iterator(); while (itr.hasNext()) {