swim()

/* Node promotion:
 * swim up a node to its correct position */
private void swim(int k) {
    while (k > 1 && less(k/2, k)) {     // 1
        swap(k, k/2);                   // 2
        k = k/2;                        // 3
    }
}