tree fbae8fb97eb515307938215a30d9ccd227a25725
parent 47398155371157beb887ff4423f78d3d62007e5e
author Dave Borowitz <dborowitz@google.com> 1544828839 -0800
committer Dave Borowitz <dborowitz@google.com> 1545064488 -0800

Remove ReviewDbUtil#intKeyOrdering()

None of the callers are subject to the null safety issue described in
the Javadoc. Although it's true that some callers require more code to
use the equivalent stream API, it's still plenty readable. On balance,
it doesn't justify having this gwtorm-specific helper.

Change-Id: Ic5b9dc07566ec9bf20da9a0ac10b9cf95d78386b