equal
deleted
inserted
replaced
112 nativeMap = new HashMap<Key, DoubleValue>(); |
112 nativeMap = new HashMap<Key, DoubleValue>(); |
113 changes = new HashMap<Key, DoubleValue>(other.nativeMap); |
113 changes = new HashMap<Key, DoubleValue>(other.nativeMap); |
114 changes.putAll(other.changes); |
114 changes.putAll(other.changes); |
115 } |
115 } |
116 |
116 |
117 protected synchronized final void finalize() throws Throwable { |
117 protected synchronized void finalize() throws Throwable { |
118 if (cfDictionaryPtr == 0) return; |
118 if (cfDictionaryPtr == 0) return; |
119 disposeCFDictionary(cfDictionaryPtr); |
119 disposeCFDictionary(cfDictionaryPtr); |
120 cfDictionaryPtr = 0; |
120 cfDictionaryPtr = 0; |
121 } |
121 } |
122 |
122 |