A java thread pool with assigned and dynamically adjusted task priority