Use Long.hashCode() instead of int-cast where applicable

In some JDK classes there's still the following hashCode() implementation:

long objNum;

public int hashCode() {
    return (int) objNum;
}

This outdated expression should be replaced with Long.hashCode(long) as it

- uses all bits of the original value, does not discard any information upfront. For example, depending on how you are generating the IDs, the upper bits could change more frequently (or the opposite).

- does not introduce any bias towards values with more ones (zeros), as it would be the case if the two halves were combined with an OR (AND) operation.

See also https://stackoverflow.com/a/4045083