Jung: fix comparator in PriorityScheduler.java