docs: public static String toStringPriority(int priority) {
  	if (priority == Thread.NORM_PRIORITY) return "NORMAL";
  	if (priority == Thread.MAX_PRIORITY) return "HIGH";
  	if (priority == Thread.MIN_PRIORITY) return "LOW";
  	return null;
      }