The function updateKeyTo of PriorityQueue is removed, since it's useless
currently.