changed PriorityScheduler.java