817818819820821822823824825826827
int count = 0; LocalRegistry registry = (LocalRegistry) get(regName); Vector toDelete = new Vector(); Iterator i = registry.listEntryNames(); while (i.hasNext()) { toDelete.add(i.next()); }
779780781782783784785786787788789
int count = 0; int counDeleted = 0; LocalRegistry registry = (LocalRegistry) get(regName); Vector toDelete = new Vector(); Iterator i = registry.listEntryNames(); while (i.hasNext()) { toDelete.add(i.next()); }
786787788789790791792793794795796
760761762763764765766767768769770
484485486487488489490491492493494