Question: Java thread dump prio value doesn't correspond with real thread priority on linux?