Нашел интересную статью: Экстренное чтиво: почти все бинарные поиски и сортировки слиянием поломаны

Кратко: на больших массивах при бинарном поиске в JDK 1.5 вылетала ошибка ArrayIndexOutOfBoundsException из-за переполнения на строке:
int mid =(low + high) / 2;

В JDK 1.6 Sun исправила баг, в .NET и Mono, как утверждает автор, бага живет по сей день.

PS Показалось, что тема для данного раздела, если не прав, модераторы, перенесите, пожалуйста.