Marco: modified PriorityScheduler.java