Verified Implementation of Priority Monitors in Java -- Scheduler-Specific