Jung: fix bug 2 PriorityScheduler.java