@Override
public boolean equals(Object obj) {
if (obj == this) return true;
if (obj instanceof PDOMFile) {
PDOMFile other = (PDOMFile) obj;
return fLinkage.getPDOM().equals(other.getLinkage().getPDOM()) && record == other.record;
}
return false;
}
