Implement BugCollection.hashCode()