- for(int i=0; i<allTraps.size(); i++) {
- Trap t = (Trap)((Weak)allTraps.elementAt(i)).get();
- if (t == null) continue;
+ Enumeration e = allTraps.keys();
+ while(e.hasMoreElements()) {
+ Weak w = (Weak)e.nextElement();
+ Trap t = (Trap)w.get();
+ if (t == null) {
+ allTraps.remove(w);
+ continue;
+ }