| commit | a64161a3f0845562b26995aa62b46068af1c821b | [log] [tgz] |
|---|---|---|
| author | Ceki Gulcu <ceki@qos.ch> | Sat Aug 02 20:30:32 2008 +0000 |
| committer | Ceki Gulcu <ceki@qos.ch> | Sat Aug 02 20:30:32 2008 +0000 |
| tree | 7950b0e63e361ebf202331dd43e61a73060be727 | |
| parent | 3d3c970d1f80aed0f935997375d47629fbd2249c [diff] |
As Joern Huxhorn observed in bug 76, markers are usually unique by name but under certain circumstances, notably deserialization, there might be multiple markers with the same name. Consequently, the BasicMarker.remove(Marker) and BasicMarker.contains(Marker) methods have been modified to use equals() instead of ==.