Review this Java helper that returns a non-negative bucket from a possibly-negative hash, used as an array index.