Anonymous

Index: .
===================================================================
--- .	(revision 3502)
+++ .	(working copy)
@@ -270,11 +270,11 @@
     } 
 
     public Iterator4 ids(){
-        return new Iterator4Impl(i_classes._first) {
-        	public Object current() {
-        		return new Integer(((YapClass)super.current()).getID());
-        	}
-        };
+    	Collection4 ids = new Collection4();
+    	Iterator4 iter = new Iterator4Impl(i_classes._first);
+    	while (iter.moveNext())
+    		ids.add(new Integer(((YapClass) iter.current()).getID()));
+    	return ids.iterator();
     } 
 
     public int ownLength() {