code: private MtasRBTreeNode rotateRight(MtasRBTreeNode n) {
      assert (n != null) && isRed(n.leftChild);
      MtasRBTreeNode x = n.leftChild;
      n.leftChild = x.rightChild;
      x.rightChild = n;
      x.color = x.rightChild.color;
      x.rightChild.color = MtasRBTreeNode.RED;
      x.n = n.n;
      n.n = size(n.leftChild) + size(n.rightChild) + 1;
      setMax(n);
      setMax(x);
      return x;
    }
docs: Rotate right.
  
  @param n the n
  @return the mtas RB tree node