Sorting sequences of users in Java space since ORDER BY is using the wrong collation on Heroku