docs: public void renameThread(String base_name, Thread thread, String addr, String cluster_name) {
          String thread_name=getThreadName(base_name, thread, addr, cluster_name);
          if(thread_name != null)
              thread.setName(thread_name);
      }