Jung: PriorityScheduler.java