Comment 2 for bug 788479

Okay, that wasn't nearly as hard as I thought. I grepped and carefully read through every single "==" operation in all of Mugle, and it turns out there were just four comparisons between two boxed numbers, all of them in the user service (which explains why this wasn't a problem for teams or games).

Fixed in trunk r459 -- now use .equals for all comparisons between boxed numbers.