remove is_not_empty method from PriorityQueue
Merge pull request #4616 from thestinger/priority_queue

remove is_not_empty method from PriorityQueue