PriorityScheduler.java: comments