Почему wait() нужно проверять в while, а не if?

Разбор: Ключ — spurious wakeup: поток может проснуться без notify, поэтому после пробуждения условие нужно перепроверить, и только while это обеспечивает. Дополнительно while защищает от ситуации, когда между пробуждением и повторным захватом монитора другой поток уже изменил условие. Дистракторы путают: notify() будит один поток (это notifyAll() — всех), компилятор не запрещает wait() в if, а про «минимум дважды» — выдумка.