sink()

/* Node demotion:
 * sink down a node to its correct position */
private void sink(int k) {
    while (2*k <= length) {                     // 1
        int j = 2 * k;                          // 2
        if (j < length && less(j, j + 1)) {     // 2
            j++;                                // 2
        }

        if (!less(k, j)) {                      // 3
            break;                              // 3
        }

        swap(k, j);                             // 4
        k = j;                                  // 5
    }
}