Изменения

if (isRed(h.left)) //вращаем все 3-вершины вправо

if (h.right == null) //поддерживаем инвариант (h должен быть красным) if (h.right == null)

//заимствуем у брата если необходимо if (!isRed(h.right) && !isRed(h.right.left)) //заимствуем у брата если необходимо

// опускаемся на один уровень глубже h.left = deleteMax(h.left); // опускаемся на один уровень глубже return fixUp(h); //исправление правых красных ссылок и 4-вершин на пути вверх return fixUp(h);