public static void exitCriticalSection() {
   TokenHandler.setHolderWhileInCS(false);
   if (!TokenHandler.childQueueIsEmpty()) {
     TokenHandler.setHasToken(false);
     TCPSend.grantToken(
         TokenHandler.childQueue.get(0), TreeGeneration.getPort(TokenHandler.childQueue.get(0)));
     TokenHandler.setParent(TokenHandler.childQueue.get(0));
     TokenHandler.childQueue.remove(0);
   }
 }
 public static void setHasToken(boolean value) {
   TokenHandler.setHasToken(value);
 }