Deprecate hashCode() as well, and forward .equals() to isEqualTo().