Reports calls to Thread.setPriority().
Modifying priorities of threads is an inherently non-portable operation, as no guarantees
are given in the Java specification of how priorities are used in scheduling threads, or even
whether they are used at all.