Jung: fixed bug PriorityScheduler.java