Не обязательно ли два объекта Java с одинаковыми хэш-кодами равны?

Я понимаю, почему важно предоставить одинаковый хэш-код для двух равных (через равно ) объектов. Но верно ли и обратное, если два объекта имеют одинаковый хэш-код, должны ли они быть равными? Контракт еще в силе? Я не могу найти пример, где это могло бы произойти, потому что, если все те атрибуты, которые участвуют в методе equals, также используются для переопределения метода хэш-кода, мы всегда будем иметь один и тот же хэш-код для равных объектов. Прокомментируйте, пожалуйста.