presto-main/src/main/java/io/prestosql/operator/aggregation/TypedHeap.java/TypedHeap/remove
class TypedHeap:    private void remove()
    {
        positionCount--;
        heapIndex[0] = heapIndex[positionCount];
        siftDown();
    }