equal
deleted
inserted
replaced
108 return getClass().getName()+"@"+ |
108 return getClass().getName()+"@"+ |
109 Integer.toHexString(System.identityHashCode(getClass()))+":"+ |
109 Integer.toHexString(System.identityHashCode(getClass()))+":"+ |
110 Integer.toHexString(privatekey); |
110 Integer.toHexString(privatekey); |
111 } |
111 } |
112 |
112 |
113 private synchronized static void recordIdentity(Key k) { |
113 private static synchronized void recordIdentity(Key k) { |
114 Object identity = k.getIdentity(); |
114 Object identity = k.getIdentity(); |
115 Object otherref = identitymap.get(identity); |
115 Object otherref = identitymap.get(identity); |
116 if (otherref != null) { |
116 if (otherref != null) { |
117 Key otherkey = (Key) ((WeakReference) otherref).get(); |
117 Key otherkey = (Key) ((WeakReference) otherref).get(); |
118 if (otherkey != null && otherkey.getClass() == k.getClass()) { |
118 if (otherkey != null && otherkey.getClass() == k.getClass()) { |