208209210211212213214215216217218
mutatedElements.add(element); } Scheduler scheduler = SchedulerInstance.get(); if (!scheduler.isScheduled(mutationNotificationTask)) { scheduler.scheduleDelayed(Priority.MEDIUM, mutationNotificationTask, NOTIFY_SCHEDULE_DELAY_MS); } } @Override
206207208209210211212213214215216