(Object o)
| 230 | } |
| 231 | |
| 232 | public boolean equals(Object o) { |
| 233 | if(o == null || o.getClass() != this.getClass()) |
| 234 | return false; |
| 235 | Exploit other = (Exploit) o; |
| 236 | return id == null ? other.id == null : id.equals(other.id); |
| 237 | } |
| 238 | |
| 239 | public void addReference(Reference ref) { |
| 240 | synchronized (references) { |