Index: src/org/python/core/IdImpl.java
===================================================================
--- src/org/python/core/IdImpl.java	(Revision 7046)
+++ src/org/python/core/IdImpl.java	(Arbeitskopie)
@@ -82,7 +82,7 @@
         return String.format("0x%x", id(o));
     }
 
-    public long java_obj_id(Object o) {
+    public synchronized long java_obj_id(Object o) {
         Long cand = (Long)idMap.get(o);
         if (cand == null) {
             long new_id = ++sequentialId;