Update nachos/threads/PriorityScheduler.java