Co oznacza Podwójna tylda ( ~ ~ ) w języku Java?

Przeglądając kod źródłowy Guava, natknąłem się na następujący fragment kodu (część implementacji hashCode dla klasy wewnętrznej CartesianSet):

int adjust = size() - 1;
for (int i = 0; i < axes.size(); i++) {
    adjust *= 31;
    adjust = ~~adjust;
    // in GWT, we have to deal with integer overflow carefully
}
int hash = 1;
for (Set<E> axis : axes) {
    hash = 31 * hash + (size() / axis.size() * axis.hashCode());

    hash = ~~hash;
}
hash += adjust;
return ~~hash;

Zarówno adjust jak i hash są ints. z tego, co wiem o Javie, ~ oznacza bitową negację, więc adjust = ~~adjust i hash = ~~hash powinny pozostawić zmienne bez zmian. Uruchamianie małego testu (oczywiście z włączonymi twierdzeniami),

for (int i = Integer.MIN_VALUE; i < Integer.MAX_VALUE; i++) {
    assert i == ~~i;
}

Potwierdza to. Zakładając, że faceci z guawy wiedzą, co robią, musi być powód, dla którego to zrobili. Pytanie brzmi: co?

EDIT jak zaznaczono w komentarzach, powyższy test nie uwzględnia przypadku, w którym i równa się Integer.MAX_VALUE. Ponieważ {[13] } jest zawsze prawdziwe, będziemy musieli sprawdzić ten przypadek poza pętlą, aby zapobiec zapętleniu go w nieskończoność. Jednak linia

assert Integer.MAX_VALUE == ~~Integer.MAX_VALUE;

Daje ostrzeżenie kompilatora "porównywanie identycznych wyrażeń", które w zasadzie go gwoździuje.