/**
  * Changes the priority of the server thread for this TCP transport mapping. This method has no
  * effect, if called before {@link #listen()} has been called for this transport mapping.
  *
  * @param newPriority the new priority.
  * @see Thread#setPriority
  * @since 1.2.2
  */
 public void setPriority(int newPriority) {
   ServerThread st = server;
   if (st != null) {
     st.setPriority(newPriority);
   }
 }