Implementation of priority queue in Java that supports efficient update-key operation.